Massimiliano Culpo 6983db1392 ASP-based solver: avoid cycles in clingo using hidden directive (#40720) ... The code should be functonally equivalent to what it was before, but now to avoid cycles by design we are using a "hidden" feature of clingo		2023-10-30 07:38:53 +01:00
..
spack	ASP-based solver: avoid cycles in clingo using hidden directive (#40720)	2023-10-30 07:38:53 +01:00