2
A
回答
2
在SMT-LIB 2.0前端的東西，我們可以使用命令
(get-info :version)
這個命令是標準的一部分，也應適用於其他求解。 我們可以測試命令here。
我們也可以使用命令行選項-version。例如：
z3 -version
>> Z3 version 4.3.1
相關問題
- 1. 雖然循環爲Z3或Smt2
- 2. Z3：關於Z3 int2bv的問題？
- 3. Z3 SMT 2.0 vs Z3 py實現
- 4. 觸發器，Z3中的#in
- 5. Z3中的獲取任務
- 6. Z3
- 7. 問題，而使用Z3 <smt2-file > CC_NUM_THREADS = 3
- 8. 如何使用z3 api C++解析smt2命令？
- 9. Z3與smt2文件和OCaml中的不同結果
- 10. 如何讓SMT2實例聲明-玩意兒的數量Z3（API）
- 11. z3以前的版本庫
- 12. Z3 4.0 Z3_parse_smtlib2_string
- 13. 斯卡拉^ Z3（Z3版本3.2）和parsesmtlib2string（...）不工作
- 14. 與Z3
- 15. 在Z3
- 16. 舊版本與新版本Z3
- 17. z3二進制和z3 api之間的不同結果
- 18. HORN子句Z3文檔
- 19. 名單內置符號Z3
- 20. Z3/Python從模型獲取python值
- 21. z3 solver：在Mac平臺上的z3-SMT
- 22. Z3的Java API：FuncDecl和Expr的
- 23. 如何使用Z3 SMT-LIB獲得團體表示Z3和Z4
- 24. 從z3模型中讀取z3數組的func interp
- 25. Z3 QBVF問題
- 26. 按位與Z3？
- 27. 證明在Z3
- 28. 不能在Z3
- 29. 量詞Z3
- 30. 量詞Z3
謝謝，獅子座！僅供參考：兩種方法返回的版本不同。使用Z3 [版本4.3.2 - 64位 - 構建散列碼96f4606a7f2d]，我從'（get-info：version）'從'z3 -version'和'（：version「4.3」）''得到'Z3 version 4.3.2'。 '。這是打算嗎？對於它的價值，我寧願得到準確的版本。 – 2013-04-09 08:43:54
感謝您報告此問題。我會修好它。 – 2013-04-09 15:17:04