Program menurut redsam.sf.net

Batasan Masalah Kepuasan Solver untuk batasan Biner, input file di XML dengan format saat ini XCSP 2.1, diadopsi untuk kompetisi pemecah CSP / MaxCSP / WCSP 2008. Solver berada di C++ dan menggunakan library boost