search

potassco / clingo

🤔 A grounder and solver for logic programs.
https://potassco.org/clingo
MIT License
601 stars 79 forks source link

Remove gringo's CSP extension. #367

Closed rkaminsk closed 2 years ago

rkaminsk commented 2 years ago

Linear constraints are handled way better by clingcon than gringo's prototypical support for linear support. It should be removed to simplify the code.