add options to set CAPD absolute/relative tolerance - 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

add options to set CAPD absolute/relative tolerance #216

Closed soonhokong closed 8 years ago

soonhokong commented 8 years ago

http://mnich.ii.uj.edu.pl/capd/doc4/odes_timemap.html#odes_nonrig_step_control