Alloy Analyzerを使って11年前に解いた数独の問題を解き直してみたという話。 TL;DR 昔よりPCは速くなったし、自分も気持ちソルバを上手に使えるようになった。 速く答えを探すには、とにかく探さなくていいものは探すな。 経緯 過去にAlloy Analyzerを使っ…