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

Question

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

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

Answer 1

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