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@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
