package minisat

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

md5=a17f04229fcba9f454b3499386f35d5e

sha512=e05d49ea0f6b8379c61795f20331b930daba0cb1dde8eb5c0a2810e18d43b997252af5f97fffbf427b890f982ca09b195b8591648bb702e819a191ce13cdee46

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

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