4 Search Results
archsat
A first-order theorem prover with formal proof output
sat smt solver theorem prover tptp logic smtlib dimacs
Guillaume Bury
1.1
BSD-2-Clause
Used by 0 other packages
dolmen
A parser library for automated deduction
parser logic tptp smtlib dimacs
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 6 other packages
dolmen_bin
A linter for logic languages
logic computation automated theorem prover logic smtlib tptp
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 0 other packages
smtlib-utils
Parser for SMTLIB2
SMTLIB smt2 parse logic
Simon Cruanes
0.4
BSD-2-Clause
Used by 0 other packages