Skip to content

0.9.19

Compare
Choose a tag to compare
@Wout4 Wout4 released this 05 Feb 14:11
· 79 commits to master since this release

What's Changed

  • Update on tools/subsets, add mcs and mss tools with grow-variants.
  • Full propagation with exact
  • Adding NValue global constraint
  • Minizinc result now saved in solver object, this allows to access the solver statistics.

Documentation

  • Update docs for tools.
  • Docs on solver statistics
  • Format solver api, and add missing links in docs
  • Update version and copyright date
  • Remove bug where python comment (#) got interpreted as a header.

Bug Fixes

  • Properly handle reified global constraints for Minizinc
  • Correctly handle global constraints with list-arguments of length 1
  • Add missing edge case in flatten
  • Type check table constraint first argument, cannot be a constant.

Full Changelog: v0.9.18...v0.9.19