package simple-bmc

  1. Overview
  2. Docs
A tool to translate Hybrid automata into SMT formula which is solvable by dReal(https://github.com/soonhokong/dReal).

Install

Dune Dependency

Authors

Maintainers

Sources

v0.0.1.tar.gz
sha256=b9ff62c1e018fb800493fda3206681182d60ff8b2473127c2f5832fd250c47b9
md5=03e273e01d199e366836cb20e97d711b

Description

Published: 21 Dec 2013

Dependencies (4)

  1. ocamlbuild build
  2. batteries
  3. ocamlfind >= "1.3.2"
  4. ocaml >= "4.01.0" & < "4.06.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.