Opam Package msat-bin.0.8.3

Package info

opam-namemsat-bin
opam-version0.8.3
synopsisSAT solver binary based on the msat library
authors
  • Simon Cruanes
  • Guillaume Bury
homepagehttps://github.com/Gbury/mSAT
licenseApache
readme-fileREADME.md
deps (5)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

msat-bin

Package files

lib/msat-bin/opam
lib/msat-bin/dune-package
lib/msat-bin/META
lib/msat-bin
doc/msat-bin/README.md
doc/msat-bin/LICENSE
doc/msat-bin/CHANGELOG.md
doc/msat-bin
bin/msat