Tarafından Programlar redsam.sf.net

İkili kısıtlamalar için Kısıtlama Memnuniyeti Sorunları Çözücü, 2008 CSP/MaxCSP/WCSP çözücü yarışması için kabul edilen mevcut formatı XCSP 2.1 ile XML'deki giriş dosyaları. Çözücü C++'da ve destek kitaplığını kullanın