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

Links

• http://web.archive.org/web/20211231210125/http://www.cs.qub.ac.uk/~i.spence/tts/ (original page inaccessible)
• https://pure.qub.ac.uk/en/publications/ternary-tree-solver-tts-40 (documentation?)

ProVerB specific

• Markdown description: view/edit
• Reason for this entry: used by SATzilla
• Contained in the ProVerB22 dataset (paper + artefact)