是否存在支持微分方程理论的SMT求解器

Question

如果是，它是如何工作的？我试图在z3上找到关于微分方程的信息，但什么也没找到。

Answer 1

我认为dReal(http://dreal.github.io/)是唯一一个为ODE提供支持的求解器，尽管我不是这方面的专家。

此外，有关更多详细信息，请参阅本文：https://arxiv.org/pdf/1310.8278.pdf