ConflictBasedBackjumping cbj = new ConflictBasedBackjumping(solver.getExplainer());
cbj.activeUserExplanation(true);
// SMF.shortlog(solver);
Assert.assertFalse(solver.findSolution());
Explanation exp = cbj.getUserExplanation();
Assert.assertEquals(2, exp.nbPropagators());
}
}
@Test(groups = "1s")
public void testPigeons() {