ScalaZ3 3.2下载地址

一个JNI绑定包，让您使用Scala和Z3

ScalaZ3是一个的界面，使您Z3由微软开发的应用程序。该套件包括JNI绑定，让您的神器出山:www.shenqi73.comSMT求解器进行交互。

该组件允许Scala编程语言的能力结合起来，与定理证明的Z3的功能。