clingcon version 3.1.0
Release of clingcon 3.1.0
- based on clingo 5.1.0 and libcsp 1.0.1
- lazy nogood generation based on the order encoding
- lazy variable generation allows for huge domains
- supports multi-shot solving
- supports optimization
- no blackbox csp libraries used
- uses gringo-5.1.0 theory language interface, please include "csp.lp"
- use --help=2 to find specific options for constraint solving
CHANGES:
- updated to clingo 5.1.0
- fixed bugs for initially UNSAT programs
- fixed estimated number of variables
- better versioning