二進制約束的約束滿意度問題解算器,用於當前格式 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++使用提升庫