Skip to content

0.9.17
Compare
Choose a tag to compare
@Wout4 Wout4 released this 19 Oct 14:25
· 108 commits to master since this release
v0.9.17
0efb8df
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Change log

0.9.17

Some new solvers supported at tier 3, update to our transformations and bugfixes.

Solver tier updates:

  • Choco and SCIP our now available as tier 3 solvers in separate pull requests.

New transformations:

  • Canonical comparison, puts comparisons in a canonical normal form.
  • only_bv_reifies: the bool var is sent to the left part and the boolexpr to the right part in reifications. (split out of only_bv_implies)
  • Only_implies: renamed what's left from only_bv_implies, that being removing all '==' double reifications.

What else is new?

  • Allow description for a constraint
  • Updated linearize transformation
  • small improvements to our docs
  • solution hints in Exact
  • New, more efficient Xor decomposition
  • added QuickXplain to our tools.
  • Did some performance tests and optimized our flatten_constraint transformation by not applying distributivity of disjunctions over conjunctions.

Bugfixes:

  • mark Inverse as supported in OR-tools
  • removed unnecessary use of simplify bool in minizinc and z3
  • fix possible overflow in bound computations
  • Solution hinting fix, when giving N-D variables and values
  • Solution hinting remove python 3.9 exclusive code
  • Bugfixes in MUS-tool
Assets 2
Loading