プログラム s-sat.sf.net

ローマの大学"La Sapienza"でのコースで、私はユニットの伝播とバックトラッキングに基づいて完全に動作するSATソルバーを開発しました。これは、任意の長さの DIMACS ファイルを読み取り、cnf 式を処理できます (リテラルの数に制限はありません)。