Add info for Z3 installation

Question

bestchai opened this issue 4 years ago · comments

New class ppt_invariant_decider uses the Z3 C++ API, need to add info about installation to readme

[Issue created by carolemieux: 2015-07-01]
[Last updated on bitbucket: 2015-08-18]

[Comment created by carolemieux: 2015-08-18]
resolved in c756a6081786