package minisat

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

sha256=e407a60be9c495d449be8a0ad955941ac1639515bad19fdbacd4a15d5aaf6605

sha512=17a5eafd2afb2cb3e829a0b7eb32c14de5ebeeaed12ecfc4f58410c9b582918595c6c31facbbda126e9fd394d3846e14f961cab529d41ac82b0775930246e5fa

Bindings to Minisat-C-1.14.1, with the solver included.

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