Is there a way to remove all propagators from a space "a". In this way the space contains only the restricted variables so far but no constraints on them. I need such a space and i want to avoid creating an empty space "b" and adding all variables and constraining them to the values they had in "a".
Is this possible? Best, Max _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
