sat-d これは、情報科学特別演習での SAT ソルバー制作のためのリポジトリです。 テストケース テストケースは、これらのウェブサイトを参照して取得しています。 https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html https://massimolauria.net/cnfgen/ 参考 Scrapbox 実装ログがまとめられています