RedSam

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎1 ‎Oy

Hakkı -nda RedSam

İ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