124125126127128129130131132133134
} @Test(groups = "1s") public void test8() { Solver solver = new Solver(); BoolVar b1, b2, r; b1 = VF.bool("b1", solver); b2 = VF.bool("b2", solver); r = VF.bool("r", solver); SatFactory.addBoolIsLeVar(b1, b2, r); // SMF.log(solver, true, true);