PV4 Ternary Tree Solver (tts)produces a satisfiability result for a proposition

solves the propositional satisfiability problem

Application domain/field

SAT solving

Type of tool

SAT solver
SAT

Links

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.