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
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