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