search

potassco / clingcon

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

fix tests #82

Closed rkaminsk closed 3 years ago