simple-bmc

Authors { Soonho Kong <soonhok@cs.cmu.edu>, Wei Chen <weichen1@andrew.cmu.edu> }
License GNU General Public License version 3
Homepage https://github.com/pondering/simple-bmc
Maintainer Wei Chen <weichen1@andrew.cmu.edu>
Dependencies
& batteries
ocamlbuild
ocamlfind >= 1.3.2
Available ocaml-version >= "4.01.0"
Published Dec 21, 2013
Source [http] http://github.com/pondering/simple-bmc/archive/v0.0.1.tar.gz
03e273e01d199e366836cb20e97d711b
Statistics Not installed in the last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/simple-bmc/simple-bmc.0.0.1/opam

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

No package is dependent