Version: 3.2.0
Size:
34.20MB
Requirements:
No special requirements
No special requirements
Price:
Free
Free
System:
Windows 7/Vista/XP
Windows 7/Vista/XP
Rating:
4.6
4.6
License:
Freeware
Freeware
media plyer for z3 z3 motorola tools cd motorola z3 player motorola z3 games motorola z3 t com find c
Description - Z3
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.