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=ae4a6feb34787f8814671af796e8cf5b

sha512=41c6c4ba2149a1afed90c7e55122dfe7239fba7221d649152549f42285b887d0cd62ac434d76eac58527b635afa4adc9d1c183cbd921eb6f927baa76371559eb

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

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

None

On This Page