[gecode-users] mod constraint branching

[Alin]

Alin <alin_pt at ...> writes:

Using GIST I realized that there are actually two solutions
(in my parameters I only wanted one solution so this is why I didn't notice it
before)

and the first one is incorrect while the second is correct, but oddly enough,
the correct one is colored yellow while the incorrect one green.

Also, I am using a minimize script, 
and the second solution is correct and also has a smaller cost.
Why is this happening ? 
Why do I get a solution that is incorrect and not optimal ?