開發者 redsam.sf.net

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