Minisat [](https://github.com/c-cube/ocaml-minisat/actions/workflows/main.yml)

June 14, 2023 ยท View on GitHub

Bindings to the SAT solver Minisat 2.2, with the solver included.

Docs

See https://c-cube.github.io/ocaml-minisat/