![z3](https://i.altapps.net/icons/z3-1bd05.png)
2
z3
Z3 یک ضرب المثل قضیه از تحقیقات مایکروسافت است.
- نرم افزار رایگان
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 یک ضرب المثل قضیه از تحقیقات مایکروسافت است
z3
سایت اینترنتی:
https://github.com/Z3Prover/z3دسته بندی ها
گزینه های دیگر برای z3 برای Windows
![MATLAB](https://i.altapps.net/icons/matlab-02e2f.png)
180
![GNU Octave](https://i.altapps.net/icons/gnu-octave-ab83d.png)
172
GNU Octave
Octave یک برنامه کامپیوتری برای انجام محاسبات عددی است که بیشتر با MATLAB سازگار است.این بخشی از پروژه گنو است.
![R (programming language)](https://i.altapps.net/icons/r-project-1ce0e.png)
165
R (programming language)
R یک محیط نرم افزار رایگان برای محاسبات آماری و گرافیک است.
![Mathematica](https://i.altapps.net/icons/mathematica-d7a92.png)
140
Mathematica
سیستم محاسبات فنی قطعی که در حال یادگیری دستگاه و شبکه های عصبی است ، علوم داده ، تجسم و موارد دیگر.