smbcversion
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/0.5.tar.gz md5=9e8368808f18c9d0ed7fd07497758220 sha512=513c863ddc4d794f88dafddce14b6c9a7b289899a3aeb1642fc909838239051f1dcc466d911fb86762489bb2b0934404c0fe3e7c21aa0253fc29b90ff4863844 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/smbc/smbc.0.5/opam |
No package is dependent
