[langsec-discuss] Z3

Christien Rioux crioux at gmail.com
Fri Mar 27 01:04:38 UTC 2015


Microsoft has released Z3 under the MIT license.

https://github.com/Z3Prover/z3

--chris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20150326/0fcebab4/attachment.html>


More information about the langsec-discuss mailing list