Z3-2.6 download

Z3 is a high-performance theorem prover being developed at Microsoft Research
Counter

Latest versions of Z3-2.6

1.0
Mar 19, 2010
Z3-2.6.exe

Alternative software

LINGO
LINGO
rating

Build and solve Linear, Nonlinear, Quadratic, and other optimization models.

SpeQ Mathematics
SpeQ Mathematics
Free
rating

A light award-winning calculator for Windows with lots of functions.

Equation Wizard
Equation Wizard
rating

Learn how to solve arithmetic equations easily with this amazing program.

Arithmetic Game
Arithmetic Game
Free
rating

Complete a equation by picking filling in numbers.

Pythagorean Theorem
Pythagorean Theorem
Free
rating

Text-based program that uses the formula A2 + B2 = C2.