Z3在rise4fun中使用什么命令行？

Question

Z3在rise4fun中的命令行选项是什么？我可以在网上解决以下问题，但不能在本地安装，包括z3_4.3.2、z3_3.2和其他.

(declare-fun x () Int)
(assert-soft false) 
(assert-soft true)
(check-sat)

Answer 1

关于优化的教程介绍了您正在使用的语法，说明了版本的来源。这些都是为优化而开发的新特性。通常的特性在在线版本和我们提供构建的不稳定分支之间是相同的。