simple-bmcversion
A tool to translate Hybrid automata into SMT formula which is solvable by dReal(https://github.com/soonhokong/dReal).
| Authors | Soonho Kong <soonhok@cs.cmu.edu> and Wei Chen <weichen1@andrew.cmu.edu> |
|---|---|
| License | GPL-3.0-only |
| Published | |
| Homepage | https://github.com/pondering/simple-bmc |
| Maintainer | Wei Chen <weichen1@andrew.cmu.edu> |
| Dependencies |
|
| Source [http] | https://github.com/pondering/simple-bmc/archive/v0.0.1.tar.gz sha256=b9ff62c1e018fb800493fda3206681182d60ff8b2473127c2f5832fd250c47b9 md5=03e273e01d199e366836cb20e97d711b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/simple-bmc/simple-bmc.0.0.1/opam |
No package is dependent
