Opam Package ocaml-sat-solvers.0.4

Package info

opam-nameocaml-sat-solvers
opam-version0.4
synopsisAn abstraction layer for integrating SAT Solvers into OCaml.
descriptionAn abstraction layer for integrating SAT Solvers into OCaml.
authors
  • Oliver Friedmann
  • Martin Lange
homepagehttps://github.com/tcsprojects/ocaml-sat-solvers
licenseBSD-3-Clause
deps (4)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

ocaml-sat-solvers

Package files

lib/ocaml-sat-solvers/satwrapper.mli
lib/ocaml-sat-solvers/satwrapper.cmx
lib/ocaml-sat-solvers/satwrapper.cmti
lib/ocaml-sat-solvers/satwrapper.cmt
lib/ocaml-sat-solvers/satwrapper.cmi
lib/ocaml-sat-solvers/satwrapper.annot
lib/ocaml-sat-solvers/satsolvers.mli
lib/ocaml-sat-solvers/satsolvers.cmx
lib/ocaml-sat-solvers/satsolvers.cmti
lib/ocaml-sat-solvers/satsolvers.cmt
lib/ocaml-sat-solvers/satsolvers.cmi
lib/ocaml-sat-solvers/satsolvers.annot
lib/ocaml-sat-solvers/satsolverregistry.cmx
lib/ocaml-sat-solvers/satsolutionparser.cmx
lib/ocaml-sat-solvers/satsolutionparser.cmti
lib/ocaml-sat-solvers/satsolutionparser.cmt
lib/ocaml-sat-solvers/satsolutionparser.cmi
lib/ocaml-sat-solvers/satsolutionparser.annot
lib/ocaml-sat-solvers/satsolutionlexer.cmx
lib/ocaml-sat-solvers/satsolutionlexer.cmt
lib/ocaml-sat-solvers/satsolutionlexer.cmi
lib/ocaml-sat-solvers/satsolutionlexer.annot
lib/ocaml-sat-solvers/pseudosatwrapper.cmx
lib/ocaml-sat-solvers/pseudosatwrapper.cmti
lib/ocaml-sat-solvers/pseudosatwrapper.cmt
lib/ocaml-sat-solvers/pseudosatwrapper.cmi
lib/ocaml-sat-solvers/pseudosatwrapper.annot
lib/ocaml-sat-solvers/preprocessor.cmx
lib/ocaml-sat-solvers/preprocessor.cmti
lib/ocaml-sat-solvers/preprocessor.cmt
lib/ocaml-sat-solvers/preprocessor.cmi
lib/ocaml-sat-solvers/preprocessor.annot
lib/ocaml-sat-solvers/ocaml-sat-solvers.cmxs
lib/ocaml-sat-solvers/ocaml-sat-solvers.cmxa
lib/ocaml-sat-solvers/ocaml-sat-solvers.cma
lib/ocaml-sat-solvers/ocaml-sat-solvers.a
lib/ocaml-sat-solvers/minisatwrapper.cmx
lib/ocaml-sat-solvers/externalsat.cmx
lib/ocaml-sat-solvers/externalsat.cmti
lib/ocaml-sat-solvers/externalsat.cmt
lib/ocaml-sat-solvers/externalsat.cmi
lib/ocaml-sat-solvers/externalsat.annot
lib/ocaml-sat-solvers/META
lib/ocaml-sat-solvers