View Javadoc

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  }