[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