Symbolic SAT Solver based on Ternary Decision Diagrams, a variant of ZDD, representing set of clauses.