handle a special case in ODE where time duration = [0, 0] - Githubissues

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

handle a special case in ODE where time duration = [0, 0] #182

Closed soonhokong closed 9 years ago