dreal/dreal — pull request #55 by danbryce (2014-07-31 18:57:51+00:00)
Title: Variable (Interval) selection heuristic for ICP

I implemented the non-interval based simulation of modes so that ICP can decide which sub-interval to search first. It can be activated with the --ode_sim_heuristic flag.

I also fixed a bug in the CAPD formulation that results from double negation of ODEs. For example, in the backward integration of dx/dt = -y it would attempt dx/dt = --y, which CAPD does not like. It is now dx/dt = y in this case.