Clingcon is an answer set solver for (extended) constraint normal logic programs. It combines the high-level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over non-linear finite integers can be used in the logic programs. The primary clingcon algorithm adopts state-of-the-art techniques from SMT and uses conflict-driven learning and theory propagation for the CSP solver.
Clingcon incorporates all features of clasp and extends them by SMT related features including:
- theory propagation
- lazy learning
- use of conflict and reason filtering methods
To get an idea on how to model in Clingcon, consult the following examples:
Further information on Clingcon's options is obtained via clingcon --help.
To get an impression of Clingcons performance, visit the benchmarking area.
To get a quick overview of how to use Clingcon, you can look here.
Clingcon is part of Potassco, the Potsdam Answer Set Solving Collection, hosted at Sourceforge. Source code and binaries can be found at the project's download page, or in the SVN trunk of gringo SVN.
For any comments, please contact the developer email@example.com