[GSoC] Z3 Solver Proposal Revision

Hi all,

I expanded and detailed my proposal base on George’s advice last week – would love to hear back from the community about other improvements I can make to my report.

https://docs.google.com/document/d/1vg1-y1P9lChTyZ5ritxC6He-jIS8ARSfSryT4nXLhe0/edit?usp=sharing

Thanks!
Brenda