Uses of Package
eu.bandm.tools.dpll

Packages that use eu.bandm.tools.dpll

Package	Description
eu.bandm.tools.dpll	Model and solver for propositional logic in conjunctive normal form.

Classes in eu.bandm.tools.dpll used by eu.bandm.tools.dpll

Class	Description
Clause	Disjunction of literals.
Formula	Conjunction of clauses.
Literal	Positive or negative occurrence of propositional variable.
Proposition	A logical proposition.
SATSolver.State	A state of a DPLL-based solution process.