RedSam
लाइसेंस: मुफ्त फ़ाइल आकार: N/A
उपयोगकर्ताओं की रेटिंग: 4.0/5 - 1 वोट
कृपया प्रतीक्षा करो।।। दुर्भावनापूर्ण सामग्री के लिए आपका डाउनलोड लिंक सत्यापित किया जा रहा है.
आप 5 सेकंड में डाउनलोड कर सकेंगे।
आप 5 सेकंड में डाउनलोड कर सकेंगे।
करीबन RedSam
बाइनरी बाधाओं के लिए बाधा संतुष्टि समस्या सॉल्वर, वर्तमान प्रारूप XCSP २.१ के साथ XML में इनपुट फाइलें, २००८ सीएसपी/MaxCSP/WCSP सॉल्वर प्रतियोगिता के लिए अपनाया । सॉल्वर सी + + में है और बूस्ट लाइब्रेरी का उपयोग करता है