Z3 ソルバーについてのメモ。 主なトピックは SMT-LIB の define と declare について。 Z3 と SMT-LIB Z3 は言わずと知れた SMT ソルバーである。オープンソースであり、Github のページにインストール手順も載っている。この手順の通りにやれば（少なくと…