sat-d

これは、情報科学特別演習での SAT ソルバー制作のためのリポジトリです。

テストケース

テストケースは、これらのウェブサイトを参照して取得しています。

• https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html
• https://massimolauria.net/cnfgen/

参考

Scrapbox

• 実装ログがまとめられています