scalaz3.

حزمة ربط JNI التي تسمح لك باستخدام Scala و Z3
التحميل الان

scalaz3. الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • Freeware
  • اسم الناشر:
  • Philippe Suter
  • أنظمة التشغيل:
  • Windows All
  • حجم الملف:
  • 521 KB

scalaz3. العلامات


scalaz3. وصف

Scalaz3 هي واجهة Scala التي تتيح لك العمل مع تطبيق Z3 الذي طورته Microsoft. تتضمن الحزمة ربط JNI التي تسمح لك بالتفاعل مع SMT Solver. يتيح لك هذا المكون الجمع بين قدرات لغة البرمجة Scala مع ميزات إثبات نظرية Z3.


scalaz3. برامج ذات صلة

معلومات عنا