7 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
batsat
OCaml bindings for batsat, a SAT solver in rust
minisat solver SAT
simon.cruanes.2007@m4x.org
0.7
MIT
Used by 0 other packages
mc2
A mcsat-based SMT solver in pure OCaml
sat smt mcsat
Simon Cruanes Guillaume Bury
0.1
Apache
Used by 0 other packages
minisat
Bindings to Minisat-C-1.14.1, with the solver included
minisat solver SAT
simon.cruanes.2007@m4x.org
0.4
BSD-2-clause
Used by 3 other packages
msat
Library containing a SAT solver that can be parametrized by a theory
sat smt cdcl functor
Simon Cruanes Guillaume Bury
0.9.1
Apache-2.0
Used by 4 other packages
msat-bin
SAT solver binary based on the msat library
sat
Simon Cruanes Guillaume Bury
0.9.1
Apache-2.0
Used by 0 other packages
qbf
QBF solving in OCaml, including bindings to solvers
clib:quantor clib:qdpll clib:picosat
Simon Cruanes
0.3
BSD-3-clause
Used by 0 other packages