smbcversion

Experimental model finder/SMT solver for functional programming

Tags logic narrowing model smt
AuthorSimon Cruanes
Published
Homepagehttps://github.com/c-cube/smbc
Issue Trackerhttps://github.com/c-cube/smbc/issues
Maintainersimon.cruanes.2007@m4x.org
Dependencies
Source [http] https://github.com/c-cube/smbc/archive/0.6.tar.gz
md5=4ee7e4ae0796195da18ac4783bc8e2a8
sha512=6bd90c14a8a31d4d02ebeaa77c99e3722c751a75885b44d0d48ec43e987b503dc06e65c92519c0af3f17e536782e2c7a28fdf1e6d64eb959eec048fff8dbfb0a
StatisticsInstalled 7 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/smbc/smbc.0.6/opam
No package is dependent