<div dir="ltr"><div><div>Hi George and Artem,<br><br></div>Thanks for all your valuable comments!<br>I'll try to address all of them in a couple of hours.<br><br></div>Réka<br><br><br><div><div><div><div class="gmail_extra"><br><div class="gmail_quote">2018-03-25 22:26 GMT+02:00 George Karpenkov <span dir="ltr"><<a href="mailto:ekarpenkov@apple.com" target="_blank">ekarpenkov@apple.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space">Hi Réka,<div><br></div><div>Great! I think it would be beneficial to add an example where the “complex” constraint is dropped before even being added to the environment,</div><div>and add a stretch goal of fixing those (e.g. by unifying a place where the constraints are dropped, and adding a flag guarding that).</div><span class="HOEnZb"><font color="#888888"><div><br></div></font></span><div><span class="HOEnZb"><font color="#888888">George</font></span><div><div class="h5"><br><div><br><blockquote type="cite"><div>On Mar 24, 2018, at 1:52 PM, Réka Nikolett Kovács <<a href="mailto:rekanikolett@gmail.com" target="_blank">rekanikolett@gmail.com</a>> wrote:</div><br class="m_-1783377539538339630Apple-interchange-newline"><div><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" target="_blank">https://docs.google.com/<wbr>document/d/1Qpw_rQ8-<wbr>JFJJtqyJz8YBqui-<wbr>FNcBgJJvpLBvPcCzHV4/edit?usp=<wbr>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>
</div></blockquote></div><br></div></div></div></div></blockquote></div><br></div></div></div></div></div>