4 Search Results
archsat
A first-order theorem prover with formal proof output
1.1
BSD-2-Clause
Used by 0 other packages
dolmen
A parser library for automated deduction
0.7
BSD-2-Clause
Used by 7 other packages
smtlib-utils
Parser for SMTLIB2
0.4
BSD-2-Clause
Used by 0 other packages