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 |
| 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.1.tar.gz md5=70159e4db67c5b3118fd765c478ffac8 sha512=dc92ad406270bac92caf9451bfeef6e396f0fed3af7cab102c6d2d2e09cc256cbbf728c2025e1cf6d9662a3eb0425aad75fe7f41d9413dccf1d520b38f964ef1 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/msat/msat.0.8.1/opam |
Optionally used by
