package smbc
Experimental model finder/SMT solver for functional programming
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.tar.gz
md5=9e8368808f18c9d0ed7fd07497758220
sha512=513c863ddc4d794f88dafddce14b6c9a7b289899a3aeb1642fc909838239051f1dcc466d911fb86762489bb2b0934404c0fe3e7c21aa0253fc29b90ff4863844
Description
Dependencies (7)
-
ocaml
>= "4.03" -
tip-parser
>= "0.5" & < "0.6" -
msat
>= "0.5" & < "0.8" -
sequence
>= "0.4" -
containers
>= "1.0" & < "2.7" - base-bytes
- dune
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page