search

potassco / clingcon

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

Automatically disable enumerator when optimizing #88

Open rkaminsk opened 2 years ago

rkaminsk commented 2 years ago

See #87.