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

Packages that use PBSolver

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

Uses of PBSolver in org.sat4j.pb

Methods in org.sat4j.pb that return PBSolver

Modifier and Type	Method and Description
PBSolver	SolverFactory.defaultSolver() Provides the best available PB solver of the library ready to solve satisfaction problems.
static PBSolver	SolverFactory.newDefault() Default solver of the SolverFactory.

Uses of PBSolver in org.sat4j.pb.core

Subclasses of PBSolver in org.sat4j.pb.core

Modifier and Type	Class and Description
class	PBSolverCautious
class	PBSolverClause
class	PBSolverCP
class	PBSolverResCP
class	PBSolverResolution
class	PBSolverWithImpliedClause