Hi, in case you haven't fixed that yet for 3.0, of course :-)
Linear boolean constraints like void Gecode::linear ( Space * home, const BoolVarArgs & x, IntRelType r, int c, BoolVar b, IntConLevel icl, PropKind pk ) seem to have docs in the "Linear constraints over integer variables" topic (2.2.0 chm), whereas the "Linear constraints over Boolean variables" topic is more or less empty (or is this intentional?) And now for some hair-splitting :-) ViewArray (Space *home, int m) Allocate array with m variables. Should probably be "m views". Now that's pedantic, innit? Cheers, Filip _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
