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

github.com Edit opam file Versions (1)

Authors

  1. S
    Soonho Kong <soonhok@cs.cmu.edu>
  2. W
    Wei Chen <weichen1@andrew.cmu.edu>

Maintainers

  1. W
    Wei Chen <weichen1@andrew.cmu.edu>

Sources

v0.0.1.tar.gz
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