package smbc
Experimental model finder/SMT solver for functional programming
Install
Authors
Maintainers
Sources
v0.6.1.tar.gz
md5=b772e657748ca96f50db2fdc6216441d
sha512=d52f6e7174d2e37ce30606392b0f0fc73c201571c2a9ee5c397b62d197422116d550e7f458dc2ca1f14a6fc7b92574af73dd91f93851d8068f6235f248c9a8f0
Description
Dependencies (7)
-
ocaml
>= "4.03"
-
tip-parser
>= "0.6" & < "0.7"
-
msat
>= "0.8" & < "0.9"
-
iter
>= "1.0"
-
containers
>= "2.0" & < "3.0"
- base-bytes
-
dune
>= "1.0"
Dev Dependencies
Used by
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page