G github.com The Z3 Theorem Prover released under MIT license 304 points dahlia 11 years ago 66 comments
