Clingcon
Clingcon is a hybrid solver combining the monolithic answer set solver Clingo and the CSP solver Gecode.

Overview

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.

Download Article Sources Citation

Clingcon

Clingcon incorporates all features of clasp and extends them by SMT related features including:

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.

Help

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 ostrowsk@cs.uni-potsdam.de

SourceForge.net Logo Valid XHTML 1.0 Strict Valid CSS!