dreal3

dreal3 copied to clipboard

soonhokong

performance page

1

need a systematic way of monitoring performance across different versions and different options Reference - http://geoff.greer.fm/ag/speed - https://gist.github.com/soonhokong/b68780deb18e9569848c - http://cvc4.cs.nyu.edu/status

soonhokong

setup coveralls

1

soonhokong

@scungao wrote at https://github.com/dreal/dreal3/issues/64#issuecomment-95190217: > When it diverges, the ODE solver does not provide a "well-defined" pruning operator, which makes the procedure not delta-complete. I think we should return "ODE...

soonhokong

soonhokong

Note: we first need a data structure to represent a logic formula whose leaves are `nonlinear_constraint`s.

soonhokong

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

soonhokong

soonhokong

soonhokong

soonhokong