sattools

Author andy.ray@ujamjar.com
Homepage https://github.com/ujamjar/sattools
Issue Tracker https://github.com/ujamjar/sattools/issues
Maintainer andy.ray@ujamjar.com
Dependencies
& astring
base-bytes
base-unix
ctypes
ctypes-foreign
ocamlbuild
ocamlfind
topkg
Available ocaml-version >= "4.01.0"
Published Jan 6, 2017
Source [http] http://github.com/ujamjar/sattools/archive/v0.1.0.tar.gz
3f1f15d5a738ce95c92214a71c532620
Statistics Installed 3 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/sattools/sattools.0.1.0/opam

Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat