Uses of Class
org.sat4j.minisat.core.Solver

Packages that use Solver

org.sat4j.minisat.constraints.pb	Implementations of pseudo boolean contraints.
org.sat4j.minisat.learning	Various learning strategies.

Uses of Solver in org.sat4j.minisat.constraints.pb

Subclasses of Solver in org.sat4j.minisat.constraints.pb

class	PBSolver
class	PBSolverCard
class	PBSolverClause
class	PBSolverWithImpliedClause

Uses of Solver in org.sat4j.minisat.learning

Methods in org.sat4j.minisat.learning with parameters of type Solver

void	LimitedLearning.setSolver(Solver s)