[gecode-users] Gecode 1.2.0 released

[Guido Tack]

We would like to announce the release of

                 Gecode 1.2.0
            http://www.gecode.org/

This release makes quite some drastic changes to how propagators and  
branchings are deleted: instead of using destructors they use a  
dispose that allows to pass a home space during deletion (we will use  
this infrastructure measure to speed up cloning considerably a little  
later). Moreover the directory structure has changed on popular  
request so that all include files are to be found in a gecode  
subdirectory. Apart from that, some small fixes and extensions due to  
requests.

For a complete changelog, see
http://www.gecode.org/gecode-doc-latest/PageChange.html

Cheers,
       The Gecode Team