Hey, Some information is missing from the documentation (http://www.gecode.org/doc-latest/reference/)
On http://www.gecode.org/doc-latest/reference/group__TaskModelIntRelInt.html : rel(Space& home, IntVar x0, IntRelType r, IntVar x1, IntConLevel icl=ICL_DEF); is missing (it does exist in int.hh, line 798) On http://www.gecode.org/doc-latest/reference/group__TaskModelIntLinearBool.html : none of the constraints are listed Kind regards, Tias Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users