Z3
Microsoft Research製のSMTソルバ
GitHub:
Z3Prover/z3: The Z3 Theorem Prover
確認用
Q. Z3
参考
Satisfiability modulo theories - Wikipedia
Z3: an efficient SMT solver - Microsoft Research
PythonでSMTソルバ (z3py) 入門
関連
#SMTソルバ