|
![]() [ View full size screenshot ] |
| Version | Date Released | Status | Release Notes |
| 3.7.1 | Oct 11, 2011 | New Release | Search engines: · Fixed a bug that crashed the single-thread branch-and-bound search engine when initialized with a failed space. (minor) Finite domain integers: Additions: · Added efficient propagators for n-ary Boolean xor and equivalence (as they are now primitive in MiniZinc). (minor) · Domain consistency for simple counting constraints can be switched off. Other changes: · The semantics of n-ary Boolean implication has been changed (to the more convential reading): rel(home, BOT_IMP, x, y) where x is an array of Boolean variable now assumes implication to be right associative. See MPG for explanation. (minor) Bug fixes: · Fixed bugs in the computation of the required precision (int or double) for linear propagation, and in division operations of scale views. These could cause an incorrect treatment of overflow in linear constraints. (major) Performance improvements: · Domain consistent distinct runs 10-20% faster. (minor) |