search

potassco / clingcon

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

Remove double code. #75

Closed MaxOstrowski closed 3 years ago

MaxOstrowski commented 3 years ago

Closes issue #74.