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.5.tar.gz
md5=9e8368808f18c9d0ed7fd07497758220
sha512=513c863ddc4d794f88dafddce14b6c9a7b289899a3aeb1642fc909838239051f1dcc466d911fb86762489bb2b0934404c0fe3e7c21aa0253fc29b90ff4863844
StatisticsInstalled 5 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/smbc/smbc.0.5/opam
No package is dependent