README.md
Use z3.Array to represent memory..
bug fix