minisat

Bindings to Minisat-C-1.14.1, with the solver included
Description
Install
minisat solver SAT
Documentation github.com Changelog BSD-2-clause License Edit opam file
Published
08 Jun 2021
Authors
Maintainers
Sources
v0.4.tar.gz
md5=a17f04229fcba9f454b3499386f35d5e sha512=e05d49ea0f6b8379c61795f20331b930daba0cb1dde8eb5c0a2810e18d43b997252af5f97fffbf427b890f982ca09b195b8591648bb702e819a191ce13cdee46
Dependencies
odoc with-doc
dune >= "1.0"
ocaml >= "4.03"
Reverse Dependencies
ocaml-sat-solvers
pgsolver
touist