開發者 s-sat.sf.net

在羅馬的拉薩皮恩扎大學課程中，我開發了一個基於單元傳播和回溯的完全工作的SAT解算器;它可以讀取DIMACS檔和處理任何長度的cnf公式（對文字的數量沒有限制）。