autotaker https://blog.hatena.ne.jp/autotaker/ autotaker's blog https://autotaker.hatenablog.com/ 新しいMacを手に入れたので環境構築を行っている。 その過程で、Z3のインストールにハマったので忘備録を書いておく。 目標 Z3はMicrosoftが開発しているSMTソルバで、様々な言語のバインディングがある。 公式でサポートしているのはC/C++, Java, Python, OCaml等でHaskellでは非公式のラッパーライブラリを用いる。 github.com z3: Bindings for the Z3 Theorem Prover今回はOCamlとHaskell両方のバインディングをインストールしたい。 トラブル まず、z3をmlバインディングつきでインストールする。 $ gi… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fautotaker.hatenablog.com%2Fentry%2F2016%2F05%2F30%2F164036" title="MacにZ3をインストールした。 - autotaker&#39;s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-05-30 16:40:36 rich https://autotaker.hatenablog.com/entry/2016/05/30/164036 1.0 100%