1 package org.sat4j.pb.constraints;
2
3 import org.sat4j.pb.IPBSolver;
4 import org.sat4j.pb.SolverFactory;
5
6 public class PBCPMixedConstraintsCautiousTest extends
7 AbstractPseudoBooleanAndPigeonHoleTest {
8
9 public PBCPMixedConstraintsCautiousTest(String arg) {
10 super(arg);
11 // TODO Auto-generated constructor stub
12 }
13
14 @Override
15 protected IPBSolver createSolver() {
16 return SolverFactory.newPBCPMixedConstraintsCautious();
17 }
18
19 }