6 Search Results
archsat
A first-order theorem prover with formal proof output
1.1
BSD-2-Clause
Used by 0 other packages
batsat
OCaml bindings for batsat, a SAT solver in rust
0.7
MIT
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
minisat
Bindings to Minisat-C-1.14.1, with the solver included
0.4
BSD-2-clause
Used by 3 other packages