tts

tts: a SAT-solver for small, difficult instances The Ternary Tree Solver (tts) is a complete solver for propositional satisfiability

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element