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 لنظام التشغيل Web
180
140
Mathematica
نظام الحوسبة التقنية النهائي الذي يمتد عبر التعلم الآلي والشبكات العصبية ، وعلوم البيانات ، والمرئيات وأكثر من ذلك بكثير.
41
0
Solve My Math
احصل على مساعدة الرياضيات بشكل سريع وعبر الإنترنت مع أكثر من مائة من محبي الرياضيات والآلات الحاسبة الفورية وحتى خطوة بخطوة المصممة لمساعدتك في حل مشكلات الرياضيات وفهم المفاهيم التي تكمن وراءها !.
- تطبيق مجاني
- Web