@Test(groups = "1s")
public void testAbs2() {
Solver solver = new Solver();
IntVar var = VariableFactory.abs(VariableFactory.enumerated("b", new int[]{-2, 1, 4}, solver));
try {
solver.propagate();
} catch (ContradictionException e) {
e.printStackTrace();
}
DisposableValueIterator vit = var.getValueIterator(false);
Assert.assertTrue(vit.hasPrevious());