Z3 克雷格插值API
有一些版本的Z3 SMT解算器支持Craig插值。API的方法,例如,Z3_插值、Z3_写入_插值问题或Z3_mk_插值上下文Z3 克雷格插值API,z3,Z3,有一些版本的Z3 SMT解算器支持Craig插值。API的方法,例如,Z3_插值、Z3_写入_插值问题或Z3_mk_插值上下文 Microsoft Research提供了一个网站,其中介绍了!在本文档中找不到上面列出的方法。是否已删除此方法?它们能在Z3的特定分支中找到吗 代码可以在分支“opt”中找到(截至今天;代码更改非常频繁)。API函数从z3_API.h移动到z3_interp.h。目前还不清楚代码是否会留在这里。文档是针对Z3的主控分支的,较新的功能在不稳定分支中可用,该分支不久将成为
Microsoft Research提供了一个网站,其中介绍了!在本文档中找不到上面列出的方法。是否已删除此方法?它们能在Z3的特定分支中找到吗 代码可以在分支“opt”中找到(截至今天;代码更改非常频繁)。API函数从z3_API.h移动到z3_interp.h。目前还不清楚代码是否会留在这里。文档是针对Z3的
主控
分支的,较新的功能在不稳定
分支中可用,该分支不久将成为新的主控 此版本发生在昨天(v4.3.2)。主分支现在也包含插值API。