NanoByte SAT Solver

A Boolean Satisfiability Solver. More...
Public Member Functions  
bool  IsSatisfiable (Formula< T > formula) 
Checks whether this formula is satisfiable. More...  
Protected Member Functions  
virtual Literal< T >  ChooseLiteral (Formula< T > formula) 
Picks a Literal<T> from the formula to assign a truth value to during backtracking. More...  
A Boolean Satisfiability Solver.
T  The underlying type used to identify/compare Literals. 
T  :  IEquatable<T> 

protectedvirtual 
Picks a Literal<T> from the formula to assign a truth value to during backtracking.

inline 
Checks whether this formula is satisfiable.