MacのintelliJでZ3を使う
-
z3のreleaseからダウンロードして解凍。ホームに適当に
z3というフォルダを作り、解凍して出てくるbinフォルダをz3以下に配置 - Project Structure->Librariesから
home/z3/bin/com.microsoft.z3.jarファイルを登録 -
libz3.dylibとlibz3java.dylibをbinからコピーして(binフォルダにも残す)/usr/local/libに配置。ここまで別の方が書かれたHello SMT-Solver by z3と同じです - Project Structure->ModulesのDependenciesタブの左下
+マークから、Library->Javaを選択（これはUltimateのUIの話で、CEだとJavaの選択がないかもしれませんが同じです）してz3/binフォルダを選択 - おわり
おそらくこれで使えるようになったと思います。
この界隈は同業者が少ないでしょうが少しでも助けになれば幸いです。