Apps similar to z3 include R (programming language), which is free and open source. Other options are GNU Octave, MATLAB, Mathematica and fxSolver. In total there are seven Programming Languages like z3 for Mac, Windows, Linux, the web and Android.
R is a free software environment for statistical computing and graphics. It is a GNU project which is similar to the S language and environment which was developed at Bell Laboratories (formerly AT&T, now Lucent Technologies) by John Chambers and colleagues. R can be consider.
New Zealand
Octave is a computer program for performing numerical computations which is mostly compatible with MATLAB . It is part of the GNU Project. It is free software under the terms of the GNU General Public License.
Germany
EU
High-level environment supporting numerical computation, visualization, matrix operations, algorithm development, custom interfaces, integration with external languages, symbolic and model-based simulation, and specialized toolboxes for fields like engineering.
United States
Definitive technical computing system spanning machine learning and neural networks, data science, visualizations and much more.
United States
Online math solver, equation editor and database, graphing calculator and science/engineering problem helper.
GermanyEU
United States
GermanyEU
