Massimiliano Culpo 0e65e84768 ASP-based solver: use a unique ID counter (#41290) ... * solver: use a unique counter for condition, triggers and effects * Do not reset counters when re-running setup What we need is just a unique ID, it doesn't need to start from zero every time.		2023-11-28 16:28:54 +01:00
..
spack	ASP-based solver: use a unique ID counter (#41290)	2023-11-28 16:28:54 +01:00