As I Please

MTのいんすとーるの練習と、その他びぼうろく・・・

  • Home
  • z3 on FreeBSD9

z3 on FreeBSD9

  • 投稿日:
  • by kava
git clone https://github.com/Z3Prover/z3.git
CC=/usr/local/bin/gcc CXX=/usr/local/bin/g++ ./configure
cd build
gmake

コメントする