rise4fun中Z3使用的命令行是什么？

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

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

---

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