2
z3
Z3 هو مبرر نظرية من Microsoft Research.
- تطبيق مجاني
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 هو مبرر نظرية من Microsoft Research
موقع الكتروني:
https://github.com/Z3Prover/z3المميزات
التصنيفات
بدائل لـ z3 لنظام التشغيل Windows
180
172
GNU Octave
Octave هو برنامج كمبيوتر لأداء الحسابات العددية وهو في الغالب متوافق مع MATLAB.إنه جزء من مشروع جنو.
165
R (programming language)
R هي بيئة برمجية مجانية للحوسبة والرسومات الإحصائية.
140
Mathematica
نظام الحوسبة التقنية النهائي الذي يمتد عبر التعلم الآلي والشبكات العصبية ، وعلوم البيانات ، والمرئيات وأكثر من ذلك بكثير.