二进制约束的约束满意度问题解算器,用于当前格式 XCSP 2.1 的 XML 输入文件,用于 2008 年 CSP/MaxCSP/WCSP 解算器竞争。解算器C++使用提升库
版本历史记录
- 版本 RedSam 发布于 2008-03-26
若干修复和更新 - 版本 N/A 发布于 2008-03-26
软件信息
- 软件分类: 发展 > 其他
- 发布者: redsam.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
二进制约束的约束满意度问题解算器,用于当前格式 XCSP 2.1 的 XML 输入文件,用于 2008 年 CSP/MaxCSP/WCSP 解算器竞争。解算器C++使用提升库