Maintenance release including some additions of domain-consistent propagators and a fix for a serious bug in reified linear inequalities.
- Search engines
- Other changes
- Changed default copying recomputation distance to 8. (minor)
- Finite domain integers
- Additions
- Added domain-consistent linear equalities. (major)
- Added domain-consistent version of the absolute value propagator. (major)
- Other changes
- Cost computation for sortedness has been changed from static to dynamic (taking into account the variable reduction the propagator can perform). (minor)
- Global cardinality changed to non-staged version. Further inference for cardinality variables added. Parts of the graph structure for the domain-consistent propagator have been revised so as to avoid unnecessary propagation in case of fixed cardinalities and to allow better staging for the propagator. Revision of propagation for fixed cardinalities has also been applied to bounds-consistent propagator. (major)
- Bug fixes
- Fixed fixpoint detection for ternary min and max. (minor, bugzilla entry)
- Fixed subsumption detection for regular with multiple variable occurences. (minor)
- Fixed a very serious bug in the reified linear inequality propagator. (major, bugzilla entry, thanks to Dominik Brill)
- The strongly connected components represented by the permutation variables in the extended version of Sortedness has been fixed restoring bounds consistency on the permutation variables. (major, bugzilla entry)
- Minimal modelling support
- Additions
- The post functions for linear expressions and relations also take an integer consistency level as optional argument. (minor)
- Bug fixes
- (In-)Equations with an int on the left hand side (like 9==x) were translated with a wrong sign (as -9==x). (minor, thanks to Olof Sivertsson)
- Example scripts
- Other changes
- Examples now use per default the recomputation settings as defined in the search module. (minor)
- General
- Other changes
- The soname for libraries on Linux is now set properly, as well as the version information on Darwin (Mac OS). (minor, bugzilla entry)
- The build system has been updated to support building both static and shared libraries at the same time on Unix-like systems. (minor, bugzilla entry)
- Bug fixes
- The preprocessor macro NDEBUG for disabling assertions is no longer put into config.icc. Without this fix, user programs could not use assert if Gecode was compiled with NDEBUG. (minor, bugzilla entry)
- Removed some compiler warnings for the Microsoft compiler with -W3. (minor, thanks to Filip Konvicka)
- Performance improvements
- Switch assertions off in optimized builds with Microsoft's C++ compiler. (major)
