Extension of clingo to handle constraints over integers
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
app/clingcon
clingo @ 855cb70
examples
libcsp @ 70e3736
scratch
.gitignore
.gitmodules
.travis.yml
CHANGES.md
CMakeLists.txt
COPYING
INSTALL.md
README.md
TODO
csp.lp

README.md

Clingcon extends the possibilities of Clingo by (mostly linear) constraints over Integers. For the syntax of constraint logic programs please see the examples folder. Use the theory language description file csp.lp to enable constraint parsing.

Features:

  • based on clingo 5.x and libcsp 1.x
  • lazy nogood generation based on the order encoding
  • lazy variable generation allows for huge domains
  • supports multi-shot solving (currently only supported
  • supports optimization
  • no blackbox csp libraries used
  • uses gringo-5.x theory language interface, please include "csp.lp"
  • use --help=2 to find specific options for constraint solving
  • python and lua support is disabled for this version

Call clingcon --help=2 for further options on constraint processing. Please consult the following resources for further information:

  • CHANGES: changes between different releases
  • INSTALL: installation instructions and software requirements
  • examples: a folder with examples each having a focus on certain features

For solving minizinc CSP problems with clingcon we provide a CONVERTER.

For more information please visit the project website:

http://potassco.org/

Build Status master