Atur cara mengikut redsam.sf.net

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 pus