Add note about bad z3 version to the readme. (#474)
Add note about bad z3 version to the readme. (#474)

* Add note about bad z3 version to the readme.

* Add note that binaries are available on github.

* Add note to z3 note.

kadena-io/pact,kadena-io/pact,kadena-io/pact,kadena-io/pact