<div dir="ltr"><div>Hi,</div><div><br></div><div>I'd like to add my own version of a Z3 integration proposal draft:</div><div><br></div><a href="https://docs.google.com/document/d/1Qpw_rQ8-JFJJtqyJz8YBqui-FNcBgJJvpLBvPcCzHV4/edit?usp=sharing">https://docs.google.com/document/d/1Qpw_rQ8-JFJJtqyJz8YBqui-FNcBgJJvpLBvPcCzHV4/edit?usp=sharing</a><br><div><br></div><div>Any feedback would be much appreciated.</div><div><br></div><div>Thanks,</div><div>Réka</div></div>