Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
Z3-2.6
By Microsoft Research
Rating:
0/5 (0)
License type:
Freeware
Home page:
research.microsoft.com
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...