simple-bmc 0.0.1
| Authors | Soonho Kong <soonhok@cs.cmu.edu> and 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 |
|
|||||||||||||
| OCaml | >= 4.01.0 | |||||||||||||
| Published | Dec 21, 2013 | |||||||||||||
| Source [http] |
https://github.com/pondering/simple-bmc/archive/v0.0.1.tar.gz 03e273e01d199e366836cb20e97d711b |
|||||||||||||
| 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 |