<p>I think <code>dReal</code> (<a href="http://dreal.github.io/" rel="nofollow noreferrer">http://dreal.github.io/</a>) is the only solver that provides support for ODEs, though I’m not an expert on this.</p>

<p>Also, see this paper for further details: <a href="https://arxiv.org/pdf/1310.8278.pdf" rel="nofollow noreferrer">https://arxiv.org/pdf/1310.8278.pdf</a></p>
Does exist an SMT solver supporting theories on differential equations?
<p>if so, how does it work? I tried to find information on z3 about differential equations but I didn't find anything.</p>