用于将scala.tools.reflect.Toolbox树转换为SMT-LIB格式的工具

我想知道是否已有工具或库可以将scala.tools.reflect.Toolbox树格式的语法转换为SMT-LIB格式的命令列表

我试图在Scala中使用Z3作为我的项目的一部分，并且很难安装ScalaZ3（），并且没有设法获得Z3库并直接使用它（），因此我尝试手动将工具箱树转换为SMT-LIB，然后使用命令流来解决断言，这被证明是非常困难的

---

如果有人能够在Scala中使用z3，并且对如何使用z3有一些建议，他们将不胜感激。

我不知道惯用Scala绑定的状态是什么，但他们肯定提供了（），这应该与Scala的使用方式完全相同。你有没有尝试过使用这些？（我没有试过，只是好奇而已）。