How do I force the propagation of constraints on a Space? Is there a C++ equivalent to the Gecode/J Space.status()?
Malcolm _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users