Parallel Sat4J 0.01

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 5.0/5 - ‎1 ‎वोट

करीबन Parallel Sat4J

यह एक अकादमिक परियोजना है; मुख्य उद्देश्य सीएनएफ सूत्र को समानांतर बनाने के लिए एक एल्गोरिदम उत्पन्न करना और फिर वितरित भागों को अनुक्रमिक सैट सॉल्वरों को खिलाना है, इस परियोजना के लिए हमने Sat4J को सॉल्वर के रूप में उपयोग करना चुना है।