smbc

Experimental model finder/SMT solver for functional programming
Description
Install
Published
24 Oct 2018
Sources
0.5.tar.gz
md5=9e8368808f18c9d0ed7fd07497758220
sha512=513c863ddc4d794f88dafddce14b6c9a7b289899a3aeb1642fc909838239051f1dcc466d911fb86762489bb2b0934404c0fe3e7c21aa0253fc29b90ff4863844
Dependencies
ocaml
>= "4.03"
tip-parser
>= "0.5" & < "0.6"
msat
>= "0.5" & < "0.8"
sequence
>= "0.4"
containers
>= "1.0" & < "2.7"
Reverse Dependencies