search

dreal / dreal3

There is a new version of dReal, available at https://github.com/dreal/dreal4
GNU General Public License v3.0
48 stars 36 forks source link

need to re-check flycheck #177

Open soonhokong opened 9 years ago

soonhokong commented 9 years ago

Reference: http://dreal.cs.cmu.edu/kepler