Opam Package sattools.0.1.0

Package info

opam-namesattools
opam-version0.1.0
synopsisCtypes and DIMACs interfaces to minisat, picosat and cryptominisat
authors
  • andy.ray@ujamjar.com
homepagehttps://github.com/ujamjar/sattools
changes-fileCHANGES.md
license-fileLICENSE.md
readme-fileREADME.md
deps (9)
revdeps(0)
metas (4)
libraries (1)

Package modules

Package sources

sattools

Package files

lib/sattools/tseitin.mli
lib/sattools/tseitin.cmti
lib/sattools/sattools.cmxs
lib/sattools/sattools.cmxa
lib/sattools/sattools.cmx
lib/sattools/sattools.cmi
lib/sattools/sattools.cma
lib/sattools/sattools.a
lib/sattools/result.mli
lib/sattools/result.cmti
lib/sattools/opam
lib/sattools/libs.mli
lib/sattools/libs.cmti
lib/sattools/lbool.mli
lib/sattools/lbool.cmti
lib/sattools/dimacs.mli
lib/sattools/dimacs.cmti
lib/sattools/META
lib/sattools
doc/sattools/README.md
doc/sattools/LICENSE.md
doc/sattools/CHANGES.md
doc/sattools