Hi all,
Just some news that might be of interest for some people here: Z3 is now released under MIT ( GitHub - Z3Prover/z3: The Z3 Theorem Prover ).
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