Massimiliano Culpo 1de5117ef1 Improve handling of cases with cycles ... To avoid paying the cost of setup and of a full grounding again, move cycle detection into a separate program and check first if the solution has cycles. If it has, ground only the integrity constraint preventing cycles and solve again.		2023-08-15 15:54:37 -07:00
..
spack	Improve handling of cases with cycles	2023-08-15 15:54:37 -07:00