Massimiliano Culpo 8517a74f37 ASP-based solver: tweak heuristic, modify compiler encoding (#35989) ... This PR does 2 unrelated things: 1. It changes the encoding of the compilers 2. It tweaks the heuristic for the solves in a0d8817907 Both were initially motivated by trying to get a performance gain but, while 2 showed significant speed-ups[^1], 1 instead didn't. I kept it anyhow, since I think the code related to compilers is more consolidated with the new encoding and we might get some performance improvement out of it if we can base our errors on the `node_compiler(Package, CompilerID)` atoms instead of `attrs`. [^1]: In general the changes in the heuristic brought a ~10% speed-up on the tests I did. I'll post detailed results below. Add a warning about compilers.yaml that is triggered if there are multiple compilers with the same spec, os and target (since they can't be selected by users with the spec syntax only).		2023-03-17 00:39:41 -07:00
..
docs	Remove leftover command from documentation (#36116)	2023-03-14 20:48:28 -04:00
env	compiler wrapper: parse Wl and Xlinker properly (#35912)	2023-03-08 09:03:31 +01:00
external	license year bump (#34921)	2023-01-18 14:30:17 -08:00
llnl	windows: use sys.platform == "win32" instead of is_windows (#35640)	2023-03-05 07:58:05 -08:00
spack	ASP-based solver: tweak heuristic, modify compiler encoding (#35989)	2023-03-17 00:39:41 -07:00
spack_installable	license year bump (#34921)	2023-01-18 14:30:17 -08:00