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

Uses of Solver in org.sat4j.minisat.learning

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

void	LimitedLearning.setSolver(Solver s)