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