7 Search Results
archsat
A first-order theorem prover with formal proof output
batsat
OCaml bindings for batsat, a SAT solver in rust
mc2
A mcsat-based SMT solver in pure OCaml
minisat
Bindings to Minisat-C-1.14.1, with the solver included
msat
Library containing a SAT solver that can be parametrized by a theory
msat-bin
SAT solver binary based on the msat library
qbf
QBF solving in OCaml, including bindings to solvers