Update README.md with correct path to get_z3#31
Open
R-Peleg wants to merge 1 commit intomicrosoft:mainfrom
Open
Update README.md with correct path to get_z3#31R-Peleg wants to merge 1 commit intomicrosoft:mainfrom
R-Peleg wants to merge 1 commit intomicrosoft:mainfrom
