GitHub repository: nichiyoubi/MocCon
Description: モデルチェッキングコンテスト用リポジトリ