search

potassco / clingcon

⛓️ Extension of clingo to handle constraints over integers
https://potassco.org/
MIT License
25 stars 4 forks source link

Fix/propagate with assumptions #83

Closed rkaminsk closed 3 years ago