[gecode-users] How to find my problem?

[Gilberto Cuba Ricardo]

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 <tack at gecode.org>:
> 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