[gecode-users] Gecode 2.0.0 released

[Guido Tack]

We would like to announce the release of

                   Gecode 2.0.0
            http://www.gecode.org

As witnessed by the version number change, this is a major release
with too many changes, fixes, and additions to mention them all:
please consult the changelog at
http://www.gecode.org/gecode-doc-latest/PageChanges_2_0_0.html

The highlights are:

* New propagators: channeling between Integer variable and array of
   Boolean variables, circuit, table constraint (extensional),  
incremental
   regular constraint (extensional), incremental Boolean linear
   constraints
* Boolean variables have a dedicated implementation: twice as fast,
   half the memory
* Advisors for incremental propagation (see: Lagerkvist, Schulte,
   Advisors for Incremental Propagation, CP 2007)
* Many crucial performance and scalability improvements: memory
   management, memory footprint of propagators
* Many cleanups and more documentation, many new examples
* New set variables with complete domain representation (CpltSetVar)
   [experimental]
* A reflection API to query spaces about their propagators
   [experimental]

The features marked as experimental are all functional, but might be
revised in the next releases. Source packages and access to our
subversion repository is available immediately.  Binary packages for
several platforms as well as a release of Gecode/J will follow soon.

Cheers,

   The Gecode Team