[LLVMdev] Z3 has been released under MIT license

Mehdi Amini
Fri, 27 Mar 2015 00:35:47 -0000

Hi all,

Just some news that might be of interest for some people here: Z3 is now
released under MIT ( https://github.com/Z3Prover/z3 ).

For those who don’t know about Z3, it is the SAT solver engine used by Alive:
https://github.com/nunoplopes/alive
(See also the presentation at the last Dev-meeting:
http://llvm.org/devmtg/2014-10/ )

Cheers,

Mehdi