Changes in Version 1.0.1 (2006-11-01)

Corresponding Gecode version: 1.3.1

Small-fix release

Gecode Interface
- Additions
  - Non-nested Branching classes need no longer declare the copy(Space home, boolean share) method, provided that the copy-constructor takes a Boolean argument instead of a boolean. (major)
  - Non-nested Propagator classes need no longer declare the copy(Space home, boolean share) method, provided that the copy-constructor takes a Boolean argument instead of a boolean. (major)
  - Non-nested Space classes need no longer declare the copy(boolean share) method, provided that the copy-constructor takes a Boolean argument instead of a boolean. (major)
- Other changes
  - The following overloads have been merged: channel_int and channel_set are now just channel, relI is now just rel, and linear_bool is now just linear. (minor)
Gecode/J Gist
- Removals
  - The method Gist.openUI() is removed. Opening the user interface is now done by the Gist constructor. (minor)
- Bug fixes
  - Jumping to the next solution now actually jumps to the first solution if that is the next solution. (minor)
Finite domain integers
- Bug fixes
  - Added interfaces to the count and global cardinality constraints. These were missing by mistake. (major)
General
- Documentation fixes
  - It is now possible to generate basic JavaDoc documentation. (major)