Parallel Sat4J 0.01

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

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

संस्करण इतिहास

  • विवरण 0.01 पर तैनात 2008-03-26
    कई सुधार और अपडेट
  • विवरण 0.01 पर तैनात 2008-03-26

कार्यक्रम विवरण