问Z3 -smt2 -in:获取Z3版本
EN

Stack Overflow用户

提问于 2013-04-08 22:45:05

回答 1查看 410关注 0票数 2

使用options -smt2 -in启动后，是否可以获得Z3的版本？就像这样

(get-z3-version)
; Z3 4.3.2 x64  // Desired reply

回答已采纳

发布于 2013-04-08 23:17:43

在SMT-LIB 2.0前端，我们可以使用以下命令

(get-info :version)

此命令是标准的一部分，也应适用于其他解算器。我们可以测试命令here。

我们还可以使用命令行选项-version。示例：

  z3 -version
  >> Z3 version 4.3.1

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/15882140

复制

相似问题

问Z3 -smt2 -in:获取Z3版本EN