Podnova Player  Windows library  Podnova home
HomeEducation › Z3-2.6
Z3-2.6

Z3-2.6

By Microsoft Research
Rating: 0 0/5 (0)
License type: Freeware
Latest version: 2.6
Last updated: November 11th, 2011
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...
Download: http://research.microsoft.com
Downloaded 13 times