Sorry for the immediate follow-up - some binary packages may only be available in about an hour or so.
Cheers, Guido -- Guido Tack http://www.csse.monash.edu/~guidot/ On 15/03/2013, at 8:01 AM, Guido Tack <t...@gecode.org> wrote: > Dear all, > > we are releasing the next major version of Gecode: > > Gecode 4.0.0 > http://www.gecode.org > > This release adds a multitude of new features, fixes many bugs, and offers a > number of performance improvements. There are too many major improvements to > even summarize them here all, so here are just some highlights: LDSB as > automatic symmetry breaking during search; restart-based search; complete > redesign and reimplementation of branching enhancing the expressiveness > massively (AFC with decay, activity, user-defined variable and value > selection, tie-break control, better randomization, ...); half-reification; > addition of floating point constraints. > > On our web site, you find source packages, binary packages for Windows and > Mac OS, and the full documentation. > > As the interfaces have changed, please consult the following page for > information on how to update existing code: > http://www.gecode.org/doc-latest/reference/PageHowToChange__4.html > > If you have downloaded the packages before you read this message, please > re-download, as we incorporated a last-minute fix. > > Cheers, > Guido > > > _______________________________________________ > Gecode users mailing list > users@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
