RedSam

许可: 免费 ‎文件大小: N/A
‎用户评分: 4.0/5 - ‎1 ‎评分

关于 RedSam

二进制约束的约束满意度问题解算器,用于当前格式 XCSP 2.1 的 XML 输入文件,用于 2008 年 CSP/MaxCSP/WCSP 解算器竞争。解算器C++使用提升库