[Choco-users] solveAll() bug?

[Varun J. <jai...@ho...>]

Hi..Is there any reason why the solveAll() method will return true even if=
=0A=
there is no solution that satisfies all constraints. I was getting=0A=
this behaviour so I did a little experiment: I set up a simple problem=0A=
and executed the following: =0A=
 =0A=
    Problem chocoCSP; =0A=
    //............... =0A=
    //-----Set up the problem =0A=
    //............... =0A=
    System.out.println("SolveAll says: " + chocoCSP.solveAll()); =0A=
    System.out.println("isFeasible says: " + chocoCSP.isFeasible()); =0A=
 =0A=
The following was the output =0A=
 =0A=
SolveAll says: true =0A=
isFeasible says: false =0A=
 =0A=
I thought solveAll() returns false if no solution exists. Also, for=0A=
this problem, the solutions I get from the nextSolution() method do not=0A=
satisfy all constraints. Any explainations would be really helpful? =0A=
 =0A=
Thanks, =0A=
-Varun.=0A=
		=09
_________________________________________________________________
Be one of the first to try Windows Live Mail.
http://ideas.live.com/programpage.aspx?versionId=3D5d21c51a-b161-4314-9b0e-=
4911fb2b2e6d=