hardcaml_verify
Hardcaml Verification Tools
README
Verification support for Hardcaml.
Interface to SAT solvers for combinational logic problems.
Code generation for NuSMV for sequential model checking.
Install
- Published
-
21 Mar 2022
- Authors
-
- Maintainers
-
Sources
hardcaml_verify-v0.15.0.tar.gz
sha256=a469d63c76bd86fbd04aa38d391dc736d4bc291ad5ffe0090b31cc4ae3ba6622
Dependencies
re
>= "1.8.0"
dune
>= "2.0.0"
stdio
>= "v0.15" & < "v0.16"
ppx_jane
>= "v0.15" & < "v0.16"
ppx_deriving_hardcaml
>= "v0.15" & < "v0.16"
hardcaml_waveterm
>= "v0.15" & < "v0.16"
hardcaml
>= "v0.15" & < "v0.16"
base
>= "v0.15" & < "v0.16"
ocaml
>= "4.08.0"
Reverse Dependencies