Gecode version 3.0.2 released
Gecode version 3.0.2 is released. Download here.
From the changelog:
Changes in Version 3.0.2 (2009-03-26)
This is a bug fix release fixing two more embarrassing bugs. However, this time we redesigned our tests carefully such that they cover all changes and optimizations done for the transition from 2.2.0 to 3.0.*. Please update asap.
- Finite domain integers
- Bug fixes
- Fixed bug in optimization of extensional constraints with DFAs (hard to reproduce, almost impossible). (major)
- Performance improvements
- Reoptimized element with integer values and created bizarre testcases. (minor)
- Minimal modelling support
- Bug fixes
- Fixed bug in posting of Boolean expressions including reified linear expressions. Again, that escaped our testsuite (also fixed). (major, thanks to Gustavo Guiterrez)
- Example scripts
- Bug fixes
- The radiotherapy example was missing in the Makefile. (minor, thanks to Håkan Kjellerstrand)
- Gist
- Other changes
- A separator is printed between solutions in the TextInspector. (minor)