NanoByte.SatSolver Namespace Reference

DPLL Boolean Satisfiability Solver. More...

Classes
class	Clause
	A Boolean Clause. Consists of a set of Literal<T>s of which at least one must be true. More...
class	Clauses
	Static factory methods for Clause<T>. More...
class	Formula
	A Boolean Formula. Consists of a set of Clause<T>s which all must be true. More...
class	Literal
	A Boolean Literal. More...
class	Solver
	A Boolean Satisfiability Solver. More...

Detailed Description

DPLL Boolean Satisfiability Solver.