openSat

OpenSat、無料でオープンソースのSAT質問バンク。SATの練習問題の大規模なプールに飛び込み、貢献者の献身的なコミュニティのおかげで絶えず成長しています。