Hi all, I want to implement a propagator which rollbacks the integer when a backtracking happens. Ilog CP provides the reversible integer IlcRevInt. How can I do this in Gecode?
Thank you very much for your help Hung
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
