11 Search Results
archsat
A first-order theorem prover with formal proof output
bitwuzla
SMT solver for AUFBVFP
bitwuzla-bin
Bitwuzla SMT solver executable
bitwuzla-c
SMT solver for AUFBVFP (C API)
dolmen
A parser library for automated deduction
dolmen_bin
A linter for logic languages
mc2
A mcsat-based SMT solver in pure OCaml
msat
Library containing a SAT solver that can be parametrized by a theory
smbc
Experimental model finder/SMT solver for functional programming
smtlib-utils
Parser for SMTLIB2
smtp
SMTP library with Unix and Lwt backends