sat-d
情報科学特別演習
で作っている SAT ソルバーのリポジトリ名です。
https://github.com/private-yusuke/sat-d