LoginSignup
3
1

More than 5 years have passed since last update.

@devdazy(Naoki Odajima)

SMTソルバ　Z3 in intelliJ IDEA for Mac

Last updated at Posted at 2019-01-24

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フォルダを選択
  • おわり

おそらくこれで使えるようになったと思います。

この界隈は同業者が少ないでしょうが少しでも助けになれば幸いです。

3
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
Sign upLogin
3
1