Chương trình theo redsam.sf.net

Hạn chế sự hài lòng vấn đề solver cho nhị phân hạn chế, đầu vào tập tin trong XML với định dạng hiện tại XCSP 2.1, thông qua cho các 2008 CSP/MaxCSP/WCSP giải cạnh tranh. Bộ giải nằm trong C++ và sử dụng thư viện tăng cường