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
Authors
Maintainers
Sources
v0.0.1.tar.gz
md5=03e273e01d199e366836cb20e97d711b
Dependencies
ocamlfind >= "1.3.2"
ocaml >= "4.01.0" & < "4.06.0"
Reverse Dependencies