Uses of Class
org.sat4j.pb.tools.PreprocCardConstrLearningSolver

Packages that use PreprocCardConstrLearningSolver

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

Uses of PreprocCardConstrLearningSolver in org.sat4j.pb

Methods in org.sat4j.pb that return PreprocCardConstrLearningSolver

Modifier and Type	Method and Description
static PreprocCardConstrLearningSolver<IPBSolver>	SolverFactory.newDetectCards()
static PreprocCardConstrLearningSolver<IPBSolver>	SolverFactory.newDetectCardsAndExit()