Microsoft has released Z3 under the MIT license. https://github.com/Z3Prover/z3
--chris
_______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
