simple-bmcversion

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

AuthorsSoonho Kong <soonhok@cs.cmu.edu> and Wei Chen <weichen1@andrew.cmu.edu>
LicenseGPL-3.0-only
Published
Homepagehttps://github.com/pondering/simple-bmc
MaintainerWei Chen <weichen1@andrew.cmu.edu>
Dependencies
Source [http] https://github.com/pondering/simple-bmc/archive/v0.0.1.tar.gz
md5=03e273e01d199e366836cb20e97d711b
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/simple-bmc/simple-bmc.0.0.1/opam
No package is dependent