द्वारा कार्यक्रम s-sat.sf.net

यूनिवर्सिटी "La Sapienza" रोम में एक कोर्स के दौरान मैंने यूनिट प्रचार और बैकट्रैकिंग के आधार पर एक पूरी तरह से काम करने वाला सैट सॉल्वर विकसित किया; यह DIMACS फ़ाइलों को पढ़ सकता है और किसी भी लंबाई के सीएनएफ सूत्र