Azucar的0.2.4_Azucar 0.2.4下载地址

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

工具。

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

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

要求：

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

此版本中的新功能：

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