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

Packages that use PBSolverResCP

org.sat4j.pb

Implementations of pseudo boolean solvers

Uses of PBSolverResCP in org.sat4j.pb

Methods in org.sat4j.pb that return PBSolverResCP

static PBSolverResCP	SolverFactory.newPBCPMixedConstraintsResCP()
static PBSolverResCP	SolverFactory.newPBCPMixedConstraintsResCP(long bound)