BoolVar P2 = VF.bool("P2", solver);
BoolVar P3 = VF.bool("P3", solver);
BoolVar N = VF.bool("N", solver);
SatFactory.addClauses(new BoolVar[]{P1, P2, P3}, new BoolVar[]{N});
SMF.log(solver, true, false);
solver.findAllSolutions();
}
@Test(groups = "1s")
public void testboolfalse() {
Solver solver = new Solver();