Atur cara mengikut s-sat.sf.net

Semasa kursus di Universiti & quot;La Sapienza" di Rom saya membangunkan pelarut SAT yang bekerja sepenuhnya berdasarkan pembersihan unit dan backtracking; ia boleh membaca fail DIMACS dan memproses formula cnf a