Hi Guido, Thanks for your reply. Its a good trick to determine where is the problem, however, this not say me what kind of error are there, and for what, solution is not found, even when Gecode::Gist tree was not expanded.
Here is the project with that problem: https://github.com/gcubar/constraints The issue constraints are in the uncommented test "TEST(Constraints, MultipleConstraints2)" in https://github.com/gcubar/constraints/blob/master/constraints/main.cpp I know its a little complicated to examine the source code because it depend of external include file (https://github.com/gcubar/constraints/blob/master/constraints/constraints.h), but I appreaciate whole your helps and ideas. I detect that constraint that have the problem is when I add custom distance constraint, Constraint c5(new distance<op_greater_equal>(U, r1, 2)); Constraint c6(new distance<op_lesser_equal>(V, r2, 2)); (...) cm.add(c5, r_empty); cm.add(c6, r_empty); but it work fine when I add this constraint kind in other context, or when I change some values of distances. Thanks again for the time and your reply. 2014-12-02 19:19 GMT-05:00, Guido Tack <[email protected]>: > The variable domains before and after status don't necessarily tell you > what's wrong. Your best bet is to remove individual constraints until the > problem becomes satisfiable, then add them back in and try to identify a > small set of constraints that causes the failure. > > Cheers, > Guido -- Regards, Gilberto Cuba _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
