我试图为Z3解算器运行此Boolean Algebra with Presburger Arithmetic Plug-In。我安装了Z3，ScalaZ3和sbt test运行良好。
但是，我不知道如何将它们放在一起。
我在（旧的）Z3文档中找到的只是示例部分，它根本没用。
我知道插件接口已被弃用，但我只是想运行该插件（使用旧的Z3版本就可以了）。
如何让Z3通过ScalaZ3接口使用插件，如何输入约束？ （例子在bapaZ3 / bapa-z3-master / src / main / scala / bapa /中给出）
当我尝试
时java -jar scalaz3_2.10-2.1.jar
我得到了
no main manifest attribute, in scalaz3_2.10-2.1.jar
感谢。