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.6.tar.gz md5=4ee7e4ae0796195da18ac4783bc8e2a8 sha512=6bd90c14a8a31d4d02ebeaa77c99e3722c751a75885b44d0d48ec43e987b503dc06e65c92519c0af3f17e536782e2c7a28fdf1e6d64eb959eec048fff8dbfb0a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/smbc/smbc.0.6/opam |
No package is dependent
