Learn
Packages
Community
Blog
Playground
Get Started
Learn
Packages
Community
Blog
Playground
Get started
2 Search Results
Search 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
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
