[gecode-users] Number of propagators

[jeremie.vautard]

Hi ! 

Great ! I was about to ask for the same functionnality :)
However, Christian, what do you call the Trunk version ? Is it
a yet availiable version or will it only be at the next release ? 

Jérémie Vautard



Accédez au courrier électronique de La Poste : www.laposte.net ; 
3615 LAPOSTENET (0,34 €/mn) ; tél : 08 92 68 13 50 (0,34€/mn)