2

用options启动后能拿到Z3的版本-smt2 -in吗？就像是

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

1 回答 1

2

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

(get-info :version)

该命令是标准的一部分，也应该适用于其他求解器。我们可以在这里测试命令。

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

  z3 -version
  >> Z3 version 4.3.1
于 2013-04-08T15:17:43.217 回答