z3 is described as «Z3 is a theorem prover from Microsoft Research» and is a Calculator in the education & reference category. There are six alternatives to z3 for a variety of platforms, including Mac, Windows, Linux, Online / Web-based and Android. The best alternative is GNU Octave, which is both free and Open Source. Other great apps like z3 are R (programming language), MATLAB, Mathematica and fxSolver.z3 alternatives are mainly Calculators but may also be Programming Languages or Statistical Analyzers. Filter by these if you want a narrower list of alternatives or looking for a specific functionality of z3.