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

clingcon version 3.0.0

Release of clingcon 3.0.0

• based on clingo 5.0.0 and libcsp 1.0.0
• 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.0.0 theory language interface, please include "csp.lp"
• use --help=2 to find specific options for constraint solving