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

Question

如果回答是，那么它们如何工作？我试图找到有关求解器z3的信息，但有关微分方程的信息却找不到。

Answer 1

我认为dReal（http://dreal.github.io/）是唯一支持ODE的求解器，尽管我不是专家。

另外，请参阅本文以获取更多详细信息：https://arxiv.org/pdf/1310.8278.pdf