[gecode-users] Gecode 4.0.0

[Filip Konvička]

Christian,

Sorry to reply so late...

The list of features sounds great, especially the symmetry breaking 
(though I admit that I haven't looked at the propagator groups yet).

Gonzalo from the AVISPA team contacted me in May regarding the Float 
Vars work they were doing, but I haven't heard from them since.  Do you 
have any information on this? Are you counting on using their 
implementation? Or do you plan to do this yourself?

Thanks,
Filip

> Damn it, there are two pieces of information missing...
>
> Timeline: we aim at the second quarter of 2012 for Gecode 4.0.0. But today I
> went through some older emails (written when we discussed what Gecode 3.*
> should be) and there I wrote that Gecode 4 should be around end of 2009.
> Okay, still trust me! This time everything is much different ;-) Just
> kidding.
>
> Then, of course: Is there something that we absolutely must do for our
> users?
>
> Christian
>
> --
> Christian Schulte, www.ict.kth.se/~cschulte/
>
>
> -----Original Message-----
> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
> Of Christian Schulte
> Sent: Friday, October 14, 2011 3:03 PM
> To: users at gecode.org
> Subject: [gecode-users] Gecode 4.0.0
>
> Dear all,
>
> As this year has already a number of releases of Gecode from the 3.* version
> series we have decided to slow the pace and prepare for Gecode 4.0.0 as the
> next major release.
>
> This mail is just to assure you that we are not dormant but that it will
> take longer before the next version appears. If there is the need for a bug
> fix release we will of course do that in the meantime.
>
> Our current plan is to include the following features:
>
> - Integrate propagator groups, see here:
> 	
> http://web.it.kth.se/~cschulte/paper.php?id=LagerkvistSchulte:CP:2009
>
> - Integrate lightweight dynamic symmetry breaking, see here:
> 	Lightweight Dynamic Symmetry Breaking.  C. Mears, M. Garcia de la
> Banda, B. Demoen, M. Wallace.
>       SymCon'08.
>     LDSB is a dynamic symmetry breaking method designed to handle
>     common symmetries efficiently under any variable and value
>     ordering.
>
> - Integrate float variables
>
> - Provide modeling layer for float variables
>
> - Support for restarts during search and large neighborhood search
>
> - Make randomized tie-breaking more flexible
>
> - Modeling layer for scheduling constraints
>
> - Branching for scheduling problems
>
>
> Some more speculative things that might or might not make it are:
>
> - Integrate discrepancy-based search that is not LDS (?)
>
> - Half-reification, see here:
> 	Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey: Half Reification
> and Flattening. CP 2011: 286-301
>
> - Redundancy analysis, see here:
> 	http://web.it.kth.se/~cschulte/paper.php?id=SchulteStuckey:PPDP:2008
>
> Best
> Christian
>
> --
> Christian Schulte, www.ict.kth.se/~cschulte/
>
>
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users