This release switches recomputation back on and removes some experimental code that had sneaked into the system...
- Kernel
- Performance improvements
- Some experimental code had sneaked into the release, slowing down the system by more than 10%... (major)
- Search engines
- Bug fixes
- With the changes to search in Gecode 1.2.1 recomputation was actually almost switched off... (major)
- Finite domain integers
- Performance improvements
- Improve performance of domain-consistent distinct (by providing special ternary version). Can reduce runtime by 10-20% for some examples. (minor)
- Cut memory requirements for element (for integer arrays) by half. (minor)
- Example scripts
- Additions
- Added stress test for element constraint (originally due to Neng-Fa Zhou). (minor)
- Added stress test for min constraint. (minor)
- Added possibility to stop the search for solutions in examples based on the time taken, the number of fails, or both. (minor)
- Added an example for solving Peacable co-existing armies of Queens. (minor)
