द्वारा कार्यक्रम redsam.sf.net

बाइनरी बाधाओं के लिए बाधा संतुष्टि समस्या सॉल्वर, वर्तमान प्रारूप XCSP २.१ के साथ XML में इनपुट फाइलें, २००८ सीएसपी/MaxCSP/WCSP सॉल्वर प्रतियोगिता के लिए अपनाया । सॉल्वर सी + + में है और बूस्ट लाइब्रेरी का उपयोग करता है