बाइनरी बाधाओं के लिए बाधा संतुष्टि समस्या सॉल्वर, वर्तमान प्रारूप XCSP २.१ के साथ XML में इनपुट फाइलें, २००८ सीएसपी/MaxCSP/WCSP सॉल्वर प्रतियोगिता के लिए अपनाया । सॉल्वर सी + + में है और बूस्ट लाइब्रेरी का उपयोग करता है
संस्करण इतिहास
- विवरण RedSam पर तैनात 2008-03-26
कई सुधार और अपडेट - विवरण N/A पर तैनात 2008-03-26
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: redsam.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows