Z3API中的自定义理论解算器方法发生了什么变化？
我一直在阅读Nikolai关于Z3工程理论的文章，了解如何将自定义决策过程与Z3连接起来。其中提到了资产理论、新分配和最终检查等几种方法。但是，我无法在最近的（新的？）Z3API中找到它们。有人能告诉我他们或他们的替代者在哪里吗？Z3API中的自定义理论解算器方法发生了什么变化？,z3,Z3,我一直在阅读Nikolai关于Z3工程理论的文章，了解如何将自定义决策过程与Z3连接起来。其中提到了资产理论、新分配和最终检查等几种方法。但是，我无法在最近的（新的？）Z3API中找到它们。有人能告诉我他们或他们的替代者在哪里吗？ 2.在一个相关的注释中，我在界面中看到了一些新的概念，比如探测和战术。是否在任何地方对这些进行了描述或解释 自定义决策过程的接口目前已弃用。它们仍然可以与旧的解算器API一起使用。更多信息，请参见以下帖子： 是不推荐使用的API的完整列表。 关于战术和探测，请
2.在一个相关的注释中，我在界面中看到了一些新的概念，比如探测和战术。是否在任何地方对这些进行了描述或解释 自定义决策过程的接口目前已弃用。它们仍然可以与旧的解算器API一起使用。更多信息，请参见以下帖子：
关于战术和探测，请参阅和Z3教程（和）。自定义决策过程的接口目前已被弃用。它们仍然可以与旧的解算器API一起使用。更多信息，请参见以下帖子：