Massimiliano Culpo b0b6016e12 ASP-based solver: add a generic rule for propagation (#44870) ... This adds a generic propagate/2 rule to propagate any fact to children in the DAG.		2024-06-26 16:02:00 +02:00
..
spack	ASP-based solver: add a generic rule for propagation (#44870)	2024-06-26 16:02:00 +02:00