Massimiliano Culpo 68aa712a3e solver: add a timeout handle for users (#47661) ... This PR adds a configuration setting to allow setting time limits for concretization. For backward compatibility, the default is to set no time limit.		2024-11-19 15:00:26 +01:00
..
spack/defaults	solver: add a timeout handle for users (#47661)	2024-11-19 15:00:26 +01:00