RedSam

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 4.0/5 - ‎1 ‎評分

關於 RedSam

二進制約束的約束滿意度問題解算器,用於當前格式 XCSP 2.1 的 XML 輸入檔,用於 2008 年 CSP/MaxCSP/WCSP 解算器競爭。解算器C++使用提升庫