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

Packages that use PBSolverClause

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

Uses of PBSolverClause in org.sat4j.pb

Methods in org.sat4j.pb that return PBSolverClause

Modifier and Type	Method and Description
static PBSolverClause	SolverFactory.newPBCPMixedConstraintsReduceToClause()