软件名称：[B]ScalaZ3 3.2[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：521 KB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

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

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

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

要求：

·斯卡拉
· Z3
·的Java
· MinGW的（编译库）

[url=http://www.sot9.com/soft/109821.html][B]ScalaZ3 3.2[/B][/url]

点这里下载->ScalaZ3 3.2 [ 下载地址 ]