/console-output

Testing only

Primary LanguageC++

console-output

================

Z3 running C++ Api

Cd into this folder and run

g++ -o zthree  -I/Users/lkloh/z3/src/api -I/Users/lkloh/z3/src/api/c++ zthree.cpp libz3.dylib -lpthread