NanoByte SAT Solver
Classes
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  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.