gpt4 book ai didi

version - Z3 -smt2 -in : Get Z3 version

转载 作者:行者123 更新时间:2023-12-05 04:18:22 33 4
gpt4 key购买 nike

在使用选项 -smt2 -in 启动 Z3 后,我可以获取 Z3 的版本吗?有点像

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

最佳答案

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

(获取信息:版本)

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

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

  z3 -version
>> Z3 version 4.3.1

关于version - Z3 -smt2 -in : Get Z3 version,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15882140/

33 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com