Z3: A high-performance theorem prover from Microsoft Researchz3.codeplex.com129 pointstchajed13 years ago