Z3-2.6

Rating:	0/5 (0)
Publisher:	Microsoft Research
License type:	Freeware
Home page:	research.microsoft.com
Latest version:	2.6
Last updated:	November 11th, 2011

Related programs:
Joulemeter 1.2
Diff-IE Internet Explorer Add-on 2.0
Z3-2.12 2.1
3ds Max 14.0
Adobe Reader 10.1
Advanced Find and Replace 7.4
Sib Font Editor 2.2
Color Coded FINS Messaging 2.0

Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and...

Main window