Opam Package minisat.0.3

Package info

opam-nameminisat
opam-version0.3
synopsisBindings to Minisat-C-1.14.1, with the solver included
authors
  • simon.cruanes.2007@m4x.org
homepagehttps://github.com/c-cube/ocaml-minisat/
licenseBSD-2-clause
deps (2)
revdeps (3)
metas (1)
libraries (1)

Package modules

Package sources

minisat

Package files

lib/stublibs/dllminisat_stubs.so
lib/minisat/opam
lib/minisat/minisat.cmxs
lib/minisat/minisat.cmxa
lib/minisat/minisat.cmx
lib/minisat/minisat.cmti
lib/minisat/minisat.cmt
lib/minisat/minisat.cmi
lib/minisat/minisat.cma
lib/minisat/minisat.a
lib/minisat/libminisat_stubs.a
lib/minisat/dune-package
lib/minisat/Minisat.mli
lib/minisat/Minisat.ml
lib/minisat/META
lib/minisat
doc/minisat/README.adoc
doc/minisat/LICENSE
doc/minisat/CHANGELOG.md
doc/minisat