软件名称：[B]CSIsat 1.2[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：1.66 MB
官方主页：Home Page
更新时间：2013-02-25 18:16:00
软件简介:

工具LA + EUF插值

CSIsat是内插的量词理论合理解释的功能符号的线性运算和平等的决策程序。我们的实现的线性规划求解的算术部分的SAT求解器的布尔结构的原因与效率相结合的效率。

以CSIsat进行了试驾，看看它实际上可以为你做什么！

[url=http://www.sot9.com/soft/64250.html][B]CSIsat 1.2[/B][/url]

点这里下载->CSIsat 1.2 [ 下载地址 ]