Skip to content

v0.9.21
Compare
Choose a tag to compare
@Wout4 Wout4 released this 05 Jul 14:44
· 43 commits to master since this release
v0.9.21
f3b60a1

New Global constraints:

  • Increasing, Decreasing, IncreasingStrict, DecreasingStrict
  • Lexicographical ordering constraints: LexLess, LexLessEq, LexChainLess, LexChainLessEq
  • Scheduling constraints Precedence and NoOverlap
  • Closed version of GCC
  • AllDiffExceptN, AllEqualExceptN
  • Nvalues except n
  • Negative table
  • Among

Bug Fixes:

  • count nested in a wsum crashed MiniZinc #461
  • AllDifferentExcept0 now correctly works with MiniZinc
  • User variables that get simplified away during transformation steps are now saved.
  • Add missing case in simplify bool transformation.

Quality of life

  • Removed type restriction for InDomain
  • Extending automatic testsuite
  • Check if minizinc executable is installed

Full Changelog: v0.9.20...v0.9.21

Assets 2
Loading