[gecode-users] Number of propagators
Gustavo Gutierrez
ggutierrez at cic.puj.edu.co
Mon May 22 23:54:26 CEST 2006
Hi all,
Is there any way to know the number of propagators inside a space?
Thanks in advance,
--
Gustavo Gutierrez
More information about the gecode-users
mailing list