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

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