mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 00:55:31 +00:00
Code Activity

Merge branch 'contrib' of https://github.com/wintersteiger/z3

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-04-28 15:20:20 +01:00
commit d1aef7facd
396 changed files with 46219 additions and 69540 deletions
Download patch file Download diff file Expand all files Collapse all files

3
README
View file

@ -39,3 +39,6 @@ Remark: clang does not support OpenMP yet.
CXX=clang++ CC=clang python scripts/mk_make.py
cd build
make
To clean Z3 you can delete the build directory and run the mk_make.py script again.