simple-bmc

A tool to translate Hybrid automata into SMT formula which is solvable by dReal(https://github.com/soonhokong/dReal).
Description
Install
Published
21 Dec 2013
Sources
v0.0.1.tar.gz
md5=03e273e01d199e366836cb20e97d711b
Dependencies
ocamlfind
>= "1.3.2"
ocaml
>= "4.01.0" & < "4.06.0"
Reverse Dependencies