Skip to content

clingcon version 3.2.0
Compare
Choose a tag to compare
@MaxOstrowski MaxOstrowski released this 06 Dec 11:08
· 275 commits to master since this release
v3.2.0
9238d39
  • changed default configuration
    --split-size=-1
    --distinct-to-card=false
    --flatten-optimization=true
    --translate-constraints=10000
  • simplified incqueens examples
  • fixed bug which prevented multi-level optimization
  • fixed bug in equality-preprocessing
  • fixed bug in --flatten-optimization
Assets 3
Loading