[Choco-users] Pb with boolean using version 1.2.04

[coletta <co...@li...>]

Dear all,

 Please find bellow a short TestCase, producing an AssertionError
in AbstractLargeBoolConstraint.

Thanks for your help ;-)

Best regards,
-- 
Remi

import static org.junit.Assert.*;
import junit.framework.TestCase;

import choco.Constraint;
import choco.Problem;
import choco.bool.LargeConjunction;
import choco.integer.IntDomainVar;
import choco.integer.constraints.GreaterOrEqualXYC;

public class TestChocoBoolean extends TestCase {

    public static void testBoolean() {
        Problem pb = new Problem();
        IntDomainVar e1= pb.makeEnumIntVar("e1", 0,4);
        IntDomainVar s1= pb.makeEnumIntVar("s1", 0,4);
        IntDomainVar e2= pb.makeEnumIntVar("e2", 0,4);
        IntDomainVar s2= pb.makeEnumIntVar("s2", 0,4);
       
        IntDomainVar extraVar= pb.makeEnumIntVar("extra", 0,1);
       
        Constraint[] tab = new Constraint[3];
        tab[0] = new GreaterOrEqualXYC(e1,s1,0);
        tab[1] = new GreaterOrEqualXYC(e2,s2,0);
        tab[2] = new GreaterOrEqualXYC(s2,e1,1);
        Constraint before = new LargeConjunction(tab);
       
        pb.post(pb.ifThen(pb.eq(extraVar,1),before));
        pb.solveAll();
    }
}