smbcversion Documentation on ocaml.org
Experimental model finder/SMT solver for functional programming
| Tags | logic narrowing model smt |
|---|---|
| Author | Simon Cruanes |
| Published | |
| Homepage | https://github.com/c-cube/smbc |
| Issue Tracker | https://github.com/c-cube/smbc/issues |
| Maintainer | simon.cruanes.2007@m4x.org |
| Dependencies |
|
| Source [http] | https://github.com/c-cube/smbc/archive/v0.6.1.tar.gz md5=b772e657748ca96f50db2fdc6216441d sha512=d52f6e7174d2e37ce30606392b0f0fc73c201571c2a9ee5c397b62d197422116d550e7f458dc2ca1f14a6fc7b92574af73dd91f93851d8068f6235f248c9a8f0 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/smbc/smbc.0.6.1/opam |
No package is dependent
