Namespace NanoByte.SatSolver

DPLL Boolean Satisfiability Solver.

Classes

Clause<T>

A Boolean Clause. Consists of a set of Literal<T>s of which at least one must be true.

Clauses

Static factory methods for Clause<T>.

Formula<T>

A Boolean Formula. Consists of a set of Clause<T>s which all must be true.

Literal

Factory methods for Literal<T>s.

Literal<T>

A Boolean Literal.

Solver<T>

A Boolean Satisfiability Solver.