
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi Réka,<div class=""><br class=""></div><div class="">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 class="">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><div class=""><br class=""></div><div class="">George<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Mar 24, 2018, at 1:52 PM, Réka Nikolett Kovács <<a href="mailto:rekanikolett@gmail.com" class="">rekanikolett@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="">Hi,</div><div class=""><br class=""></div><div class="">I'd like to add my own version of a Z3 integration proposal draft:</div><div class=""><br class=""></div><a href="https://docs.google.com/document/d/1Qpw_rQ8-JFJJtqyJz8YBqui-FNcBgJJvpLBvPcCzHV4/edit?usp=sharing" class="">https://docs.google.com/document/d/1Qpw_rQ8-JFJJtqyJz8YBqui-FNcBgJJvpLBvPcCzHV4/edit?usp=sharing</a><br class=""><div class=""><br class=""></div><div class="">Any feedback would be much appreciated.</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Réka</div></div>

</div></blockquote></div><br class=""></div></body></html>