Hello people,

I wrote an Constraints Editor and a Constraints Solver based on choco and now I am in the testing phase and I found another bug in choco 2.0.1.0 beta.

With the editor you can write one or more constraint expressions and check / solve it.

The Constraint-Solver generates dynamicly the variables and contraints, but the bug exists also by using static code like:

Model m = new CPModel();

Solver s = new CPSolver();

SetVariable Operant1Object = choco.Choco.emptySet();

SetVariable Operant2Object = choco.Choco.emptySet();

m.addConstraint(choco.Choco.and(choco.Choco.isIncluded(Operant1Object, Operant2Object), choco.Choco.isIncluded(Operant2Object, Operant1Object)));

s.read(m); // here is the InvalidCastException

"Das Objekt des Typs choco.kernel.model.variables.set.SetConstantVariable kann nicht in Typ choco.kernel.model.variables.integer.IntegerExpressionVariable umgewandelt werden."

xman2008