The Z3 Theorem Prover released under MIT license

304 points by dahlia

Read the article

Discussion on Hacker News