Z3 -smt2 -in：获取Z3版本

Question

使用选项-smt2 -in启动后，我可以获得Z3的版本吗？像

这样的东西

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

Answer 1

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

(get-info :version)

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

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

  z3 -version
  >> Z3 version 4.3.1