11 Search Results
archsat
A first-order theorem prover with formal proof output
1.1
BSD-2-Clause
Used by 0 other packages
bitwuzla
SMT solver for AUFBVFP
1.0.3
MIT
Used by 0 other packages
bitwuzla-bin
Bitwuzla SMT solver executable
1.0.0
MIT
Used by 0 other packages
bitwuzla-c
SMT solver for AUFBVFP (C API)
1.0.3
MIT
Used by 1 other packages
dolmen
A parser library for automated deduction
0.7
BSD-2-Clause
Used by 7 other packages
mc2
A mcsat-based SMT solver in pure OCaml
0.1
Apache
Used by 0 other packages
msat
Library containing a SAT solver that can be parametrized by a theory
0.9.1
Apache-2.0
Used by 4 other packages
smbc
Experimental model finder/SMT solver for functional programming
0.6.1
Used by 0 other packages
smtlib-utils
Parser for SMTLIB2
0.4
BSD-2-Clause
Used by 0 other packages
smtp
SMTP library with Unix and Lwt backends
0.3
ISC
Used by 0 other packages