[gecode-users] How to find my problem?

[Guido Tack]

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

> On 3 Dec 2014, at 10:28 am, Gilberto Cuba Ricardo <gcubar2005 at gmail.com> wrote:
> 
> Hello colleagues,
> 
> I am new to Gecode and in the list, and English not given me very
> well. I want someone to guide me and give me suggestions on how to
> solve my problem.
> 
> I have difficulty determining why my code under certain conditions not
> found solutions for variables and constraints that I put. I tried to
> visualize the tree with gist but it begin from red square, ie not find
> solution from the start, which surprised me.
> 
> In my Space, when I print my variables before and after the status()
> function, it behaves like this:
> 
> before: {[0..4], 0, [308..1.79769e -1.79769e + 308 +], [0..4], 4
> [308..1.79769e -1.79769e + 308 +], [0..4] [0..4], [308..1.79769e
> -1.79769e + 308 +]}
> 
> after: {[0..2] 0, [-4.49423e + 307..4.49423e + 307], [2..4], 4
> [-4.49423e + 307..4.49423e + 307], [0..4] [0..4], [308..1.79769e
> -1.79769e + 308 +]}
> 
> Any ideas? I can provide more information, but I don't know what else
> to describe my problem so they can help better.
> 
> Best regards,
>  Gilberto Cuba
> 
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users