update CAPD4 - Githubissues

dreal / dreal2

Please check dreal4 instead.

https://github.com/dreal/dreal4

GNU General Public License v3.0

13 stars 15 forks source link

Closed soonhokong closed 9 years ago

soonhokong commented 9 years ago

Recently the CAPD authors fixed the problem that I reported in https://gist.github.com/soonhokong/de5974149e00c22d61f4. I've applied my own patch before, but we need to take the new official version this time and test.

soonhokong commented 9 years ago

CAPD4 authors mentioned that:

getStep is fixed.
setStep and getStep will be marked as deprecated. They will be renamed to setFixedStep and getLastStep

soonhokong commented 9 years ago

Done