autotaker's blog

新しいMacを手に入れたので環境構築を行っている。 その過程で、Z3のインストールにハマったので忘備録を書いておく。 目標 Z3はMicrosoftが開発しているSMTソルバで、様々な言語のバインディングがある。 公式でサポートしているのはC/C++, Java, Python, OCaml等でHaskellでは非公式のラッパーライブラリを用いる。 gith…