Skip to content

clingcon version 3.0.0
Compare
Choose a tag to compare
@MaxOstrowski MaxOstrowski released this 07 Oct 13:11
· 275 commits to master since this release
v3.0.0
330db2a

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
Assets 3
Loading