[cfe-dev] [GSoC] Proposal draft

[Réka Nikolett Kovács via cfe-dev]

Hi,

I'd like to add my own version of a Z3 integration proposal draft:

https://docs.google.com/document/d/1Qpw_rQ8-JFJJtqyJz8YBqui-FNcBgJJvpLBvPcCzHV4/edit?usp=sharing

Any feedback would be much appreciated.

Thanks,
Réka
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180324/38e1fd47/attachment.html>