[SMT-LIB] Z3 switched to MIT License

Leonardo de Moura leonardo at microsoft.com
Thu Mar 26 17:05:30 EDT 2015

Previous message: [SMT-LIB] Verification Mentoring Workshop Student Scholarships
Next message: [SMT-LIB] SMT 2015 - 2nd Call for Papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all,

Z3 is now *really* open source (MIT License).
We also moved to github: https://github.com/Z3Prover/z3

Best,
Leo

Previous message: [SMT-LIB] Verification Mentoring Workshop Student Scholarships
Next message: [SMT-LIB] SMT 2015 - 2nd Call for Papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-LIB mailing list