The Z3 Theorem Prover (Z3)¶ Microsoft Researchが公開しているSMT(Satisfiability Modulo Theories) Solver。AtCoder環境で使える。 Links¶ https://github.com/Z3Prover/z3 https://github.com/Z3Prover/z3/wiki#background https://z3prover.github.io/papers/programmingz3.html