Generated on Sat Nov 11 01:12:12 2006 for Gecode by doxygen 1.5.1

Changes in Version 1.3.1 (2006-10-25)

This is a minor release which fixes a major bug (the first real serious bug). Please update as soon as possible.