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

为解决电信运营商通过使用基于SAT-

工具。

Azucar的是一个约束满足问题求解器，是基于布尔可满足性方法。应用程序可以解决有限的非线性约束满足问题，约束最优化问题和Max-CSP整数。

它采用了紧凑的神器出山:www.shenqi73.com顺序表示每个整数的编码方法，使用的数字系统。

要求：

·的Java J2SE 5或6
·Perl版本5
·SAT求解

此版本中的新功能：

·Bug修复：Azucar的与“编码OE”选项，可以解决非线性CSP。
·添加一个参考的一个工具，演示文稿文件。

[url=http://www.sot9.com/soft/69502.html][B]Azucar的0.2.4_Azucar 0.2.4[/B][/url]

点这里下载->Azucar的0.2.4_Azucar 0.2.4 [ 下载地址 ]