This is a bug-fix only release. Very unfortunately, it fixes three serious bugs in search (LDS, Restart, and assignment branchings). We highly encourage you to switch to
Gecode 2.0.1 as soon as possible.
- Kernel
- Other changes
- The VarMapIter can now return both a specification and the actual VarBase* of the currently iterated variable. (minor)
- Bug fixes
- Static initialization order was undefined, making reflection work unreliably. In particular, linking Gecode statically did not work. (major)
- Exceptions did not have rtti information when compiled with gcc and visibility, which meant that they could not be caught. (minor)
- Fixed a bug in the hash function for pointers, which could return negative array indices. (minor)
- Performance improvements
- Be less aggressive in increasing size of heap chunks. (minor)
- Search engines
- Bug fixes
- Assignment branchings wrongly reported that they feature two alternatives rather than one. (major)
- LDS had numerous quirks. It has been fixed and greatly improved: it detects when the entire search tree has been probed, independent of the maximal discrepancy. (major, thanks to Stefano Gualandi)
- Restart was broken in case the problem failed immediately with propagation only, both when being initialized or when requesting a next solution. (major, thanks to Stefano Gualandi)
- Finite domain integers
- Additions
- Re-added reified linear constraints for Boolean variables. (minor, thanks to Mohamad Rabbath)
- Bug fixes
- Fixed memory leak in IntSet. (minor)
- Domain-consistent abs could crash in certain (extremely rare) border cases. (minor)
- Initializing an IntVar with an empty IntSet did not throw the appropriate exception but crashed. (minor)
- Documentation fixes
- Fixed bug in documentation of table-based extensional constraint. (minor)
- Finite integer sets
- Bug fixes
- Fixed memory leak in set projection propagators. (minor)
- Range and value iterators
- Example scripts
- Bug fixes
- Fixed a bug and quirk in Kakuro puzzles. (minor, thanks to Helmut Simonis)
- Systematic tests
- Additions
- Added comprehensive tests for all search engines. (major)
- Bug fixes
- Fixed memory leak in reflection tests. (minor)
- General
- Bug fixes
- Revived boost serialization. The serialization functions will be compiled if Gecode is configured with --with-boost. (minor)
