Opam Package msat.0.8.3

Package documentation pages

pages: doc/msat/odoc-pages/index.mld

Package info

opam-namemsat
opam-version0.8.3
synopsisLibrary containing a SAT solver that can be parametrized by a theory
authors
  • Simon Cruanes
  • Guillaume Bury
homepagehttps://github.com/Gbury/mSAT
licenseApache
readme-fileREADME.md
odoc-filedoc/msat/odoc-pages/index.mld
deps (4)
revdeps (6)
metas (5)
libraries (5)

Package modules

Package sources

msat

Package files

lib/msat/tseitin/msat_tseitin__Tseitin_intf.cmx
lib/msat/tseitin/msat_tseitin__Tseitin_intf.cmt
lib/msat/tseitin/msat_tseitin__Tseitin_intf.cmi
lib/msat/tseitin/msat_tseitin__.ml
lib/msat/tseitin/msat_tseitin__.cmx
lib/msat/tseitin/msat_tseitin__.cmt
lib/msat/tseitin/msat_tseitin__.cmi
lib/msat/tseitin/msat_tseitin.cmxs
lib/msat/tseitin/msat_tseitin.cmxa
lib/msat/tseitin/msat_tseitin.cmx
lib/msat/tseitin/msat_tseitin.cmti
lib/msat/tseitin/msat_tseitin.cmt
lib/msat/tseitin/msat_tseitin.cmi
lib/msat/tseitin/msat_tseitin.cma
lib/msat/tseitin/msat_tseitin.a
lib/msat/tseitin/Tseitin_intf.ml
lib/msat/tseitin/Msat_tseitin.mli
lib/msat/tseitin/Msat_tseitin.ml
lib/msat/tseitin
lib/msat/sat/msat_sat__Int_lit.cmx
lib/msat/sat/msat_sat__Int_lit.cmti
lib/msat/sat/msat_sat__Int_lit.cmt
lib/msat/sat/msat_sat__Int_lit.cmi
lib/msat/sat/msat_sat__.ml
lib/msat/sat/msat_sat__.cmx
lib/msat/sat/msat_sat__.cmt
lib/msat/sat/msat_sat__.cmi
lib/msat/sat/msat_sat.cmxs
lib/msat/sat/msat_sat.cmxa
lib/msat/sat/msat_sat.cmx
lib/msat/sat/msat_sat.cmti
lib/msat/sat/msat_sat.cmt
lib/msat/sat/msat_sat.cmi
lib/msat/sat/msat_sat.cma
lib/msat/sat/msat_sat.a
lib/msat/sat/Msat_sat.mli
lib/msat/sat/Msat_sat.ml
lib/msat/sat/Int_lit.mli
lib/msat/sat/Int_lit.ml
lib/msat/sat
lib/msat/opam
lib/msat/msat__Vec.cmx
lib/msat/msat__Vec.cmti
lib/msat/msat__Vec.cmt
lib/msat/msat__Vec.cmi
lib/msat/msat__Solver_intf.cmx
lib/msat/msat__Solver_intf.cmt
lib/msat/msat__Solver_intf.cmi
lib/msat/msat__Solver.cmx
lib/msat/msat__Solver.cmti
lib/msat/msat__Solver.cmt
lib/msat/msat__Solver.cmi
lib/msat/msat__Log.cmx
lib/msat/msat__Log.cmti
lib/msat/msat__Log.cmt
lib/msat/msat__Log.cmi
lib/msat/msat__Internal.cmx
lib/msat/msat__Internal.cmt
lib/msat/msat__Internal.cmi
lib/msat/msat__Heap_intf.cmx
lib/msat/msat__Heap_intf.cmt
lib/msat/msat__Heap_intf.cmi
lib/msat/msat__Heap.cmx
lib/msat/msat__Heap.cmti
lib/msat/msat__Heap.cmt
lib/msat/msat__Heap.cmi
lib/msat/msat__.ml
lib/msat/msat__.cmx
lib/msat/msat__.cmt
lib/msat/msat__.cmi
lib/msat/msat.cmxs
lib/msat/msat.cmxa
lib/msat/msat.cmx
lib/msat/msat.cmt
lib/msat/msat.cmi
lib/msat/msat.cma
lib/msat/msat.a
lib/msat/dune-package
lib/msat/backtrack/msat_backtrack__Backtrackable_ref.cmx
lib/msat/backtrack/msat_backtrack__Backtrackable_ref.cmti
lib/msat/backtrack/msat_backtrack__Backtrackable_ref.cmt
lib/msat/backtrack/msat_backtrack__Backtrackable_ref.cmi
lib/msat/backtrack/msat_backtrack__.ml
lib/msat/backtrack/msat_backtrack__.cmx
lib/msat/backtrack/msat_backtrack__.cmt
lib/msat/backtrack/msat_backtrack__.cmi
lib/msat/backtrack/msat_backtrack.cmxs
lib/msat/backtrack/msat_backtrack.cmxa
lib/msat/backtrack/msat_backtrack.cmx
lib/msat/backtrack/msat_backtrack.cmt
lib/msat/backtrack/msat_backtrack.cmi
lib/msat/backtrack/msat_backtrack.cma
lib/msat/backtrack/msat_backtrack.a
lib/msat/backtrack/Msat_backtrack.ml
lib/msat/backtrack/Backtrackable_ref.mli
lib/msat/backtrack/Backtrackable_ref.ml
lib/msat/backtrack
lib/msat/backend/msat_backend__Dot.cmx
lib/msat/backend/msat_backend__Dot.cmti
lib/msat/backend/msat_backend__Dot.cmt
lib/msat/backend/msat_backend__Dot.cmi
lib/msat/backend/msat_backend__Dedukti.cmx
lib/msat/backend/msat_backend__Dedukti.cmti
lib/msat/backend/msat_backend__Dedukti.cmt
lib/msat/backend/msat_backend__Dedukti.cmi
lib/msat/backend/msat_backend__Coq.cmx
lib/msat/backend/msat_backend__Coq.cmti
lib/msat/backend/msat_backend__Coq.cmt
lib/msat/backend/msat_backend__Coq.cmi
lib/msat/backend/msat_backend__Backend_intf.cmx
lib/msat/backend/msat_backend__Backend_intf.cmt
lib/msat/backend/msat_backend__Backend_intf.cmi
lib/msat/backend/msat_backend.ml
lib/msat/backend/msat_backend.cmxs
lib/msat/backend/msat_backend.cmxa
lib/msat/backend/msat_backend.cmx
lib/msat/backend/msat_backend.cmt
lib/msat/backend/msat_backend.cmi
lib/msat/backend/msat_backend.cma
lib/msat/backend/msat_backend.a
lib/msat/backend/Dot.mli
lib/msat/backend/Dot.ml
lib/msat/backend/Dedukti.mli
lib/msat/backend/Dedukti.ml
lib/msat/backend/Coq.mli
lib/msat/backend/Coq.ml
lib/msat/backend/Backend_intf.ml
lib/msat/backend
lib/msat/Vec.mli
lib/msat/Vec.ml
lib/msat/Solver_intf.ml
lib/msat/Solver.mli
lib/msat/Solver.ml
lib/msat/Msat.ml
lib/msat/META
lib/msat/Log.mli
lib/msat/Log.ml
lib/msat/Internal.ml
lib/msat/Heap_intf.ml
lib/msat/Heap.mli
lib/msat/Heap.ml
lib/msat
doc/msat/odoc-pages/index.mld
doc/msat/odoc-pages
doc/msat/README.md
doc/msat/LICENSE
doc/msat/CHANGELOG.md
doc/msat