Name		Name	Last commit message	Last commit date
Latest commit History 111 Commits
.github/workflows		.github/workflows
examples/icnf-solve		examples/icnf-solve
src		src
tests		tests
.gitignore		.gitignore
.ocamlformat		.ocamlformat
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
dune-project		dune-project
minisat.opam		minisat.opam

Repository files navigation

Minisat

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

Docs

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