Using Gecode, how can we make a predifined constraint such as the constraints: rel, distinct, ....and how to integrate the propagation algorithm that we define for constraints on Gecode? can you give me the steps and an illustrative example eg for constraint case: distinct.
Thank you. Best regards.
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
