msatversion

Library containing a SAT solver that can be parametrized by a theory

Tags sat smt
AuthorsSimon Cruanes and Guillaume Bury
LicenseApache-1.0+
Published
Homepagehttps://github.com/Gbury/mSAT
Issue Trackerhttps://github.com/Gbury/mSAT/issues/
Maintainersguillaume.bury@gmail.com and simon.cruanes.2007@m4x.org
Dependencies
Source [http] https://github.com/gbury/msat/archive/v0.8.tar.gz
md5=fe2f507bff99166ad2004786ca1ae59b
sha512=4cd653218e1767152c1d66700ccfc421d6d2da6ddffc8af4ee9151a3b5d25920f9d735a416f962227ffe458bb56e1f1977d180dd91415d37af9e1ea41dbb1045
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/msat/msat.0.8/opam
Optionally used by