Z3: a high-performance theorem prover being developed at Microsoft Researchz3.codeplex.com3 pointsluu12 years ago