1 search result for "author:"Wei Chen <weichen1@andrew.cmu.edu>""

Showing 1 - 1
  1. A tool to translate Hybrid automata into SMT formula which is solvable by dReal(https://github.com/soonhokong/dReal).
    0.0.1
    GPL-3.0-only
    Used by 0 other packages
    21 Dec 2013