RedSam

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi

Tentang RedSam

Kekangan Masalah Kepuasan Penyelesai untuk kekangan perduaan, fail input dalam XML dengan format semasa XCSP 2.1, diterima pakai untuk pertandingan penyelesai CSP/MaxCSP/WCSP 2008. Pelarut berada dalam C++ dan menggunakan pustaka galakkan