Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev

Z3-2.12
By Microsoft Research
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding...


