今回やること 対象読者 お題 Why3 準備 インストール プログラム 完成したプログラム 検証 結果 まとめ 今回やること 簡単な論理パズルを、自動定理証明器 (SMTソルバー) を使って、自動で解いてみる。 自動証明の超入門的な感じ。 今回 Why3 という証明プラ…