Z3
MicroSoft製
の
SMT solver
github