是否存在支持微分方程理论的 SMT 求解器？
Does exist an SMT solver supporting theories on differential equations?
如果是这样，它是如何工作的？我试图在 z3 上查找有关微分方程的信息，但没有找到任何信息。
我认为 dReal (http://dreal.github.io/) 是唯一支持 ODE 的求解器，尽管我不是这方面的专家。
此外，请参阅本文了解更多详情：https://arxiv.org/pdf/1310.8278.pdf
如果是这样，它是如何工作的？我试图在 z3 上查找有关微分方程的信息，但没有找到任何信息。
我认为 dReal (http://dreal.github.io/) 是唯一支持 ODE 的求解器，尽管我不是这方面的专家。
此外，请参阅本文了解更多详情：https://arxiv.org/pdf/1310.8278.pdf