msatversion Documentation on ocaml.org
Library containing a SAT solver that can be parametrized by a theory
| Tags | sat smt |
|---|---|
| Authors | Simon Cruanes and Guillaume Bury |
| License | Apache-1.0+ |
| Published | |
| Homepage | https://github.com/Gbury/mSAT |
| Issue Tracker | https://github.com/Gbury/mSAT/issues/ |
| Maintainers | guillaume.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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/msat/msat.0.8/opam |
Optionally used by
