[gecode-users] How to find my problem?

[Gilberto Cuba Ricardo]

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