remove z3 lib
Add z3, Finish setup