Uses of Class
org.sat4j.pb.core.PBSolverResCP

Packages that use PBSolverResCP

Package	Description
org.sat4j.pb	Implementations of pseudo boolean solvers

Uses of PBSolverResCP in org.sat4j.pb

Methods in org.sat4j.pb that return PBSolverResCP

Modifier and Type	Method and Description
static PBSolverResCP	SolverFactory.newPBCPMixedConstraintsResCP()
static PBSolverResCP	SolverFactory.newPBCPMixedConstraintsResCP(long bound)