2
z3
Z3 یک ضرب المثل قضیه از تحقیقات مایکروسافت است.
- نرم افزار رایگان
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 یک ضرب المثل قضیه از تحقیقات مایکروسافت است
z3
سایت اینترنتی:
https://github.com/Z3Prover/z3دسته بندی ها
گزینه های دیگر برای z3 برای BSD
172
GNU Octave
Octave یک برنامه کامپیوتری برای انجام محاسبات عددی است که بیشتر با MATLAB سازگار است.این بخشی از پروژه گنو است.
165
R (programming language)
R یک محیط نرم افزار رایگان برای محاسبات آماری و گرافیک است.