1 search result for "author:"Soonho Kong <soonhok@cs.cmu.edu>""

Showing 1 - 1
  1. simple-bmc
    Documentation
    A tool to translate Hybrid automata into SMT formula which is solvable by dReal(https://github.com/soonhokong/dReal).
    Soonho Kong <soonhok@cs.cmu.edu> Wei Chen <weichen1@andrew.cmu.edu>
    0.0.1
    GPL-3.0-only
    Used by 0 other packages
    21 Dec 2013