شوفب

أداة النماذج الأولية للأنظمة المستندة إلى SAT
التحميل الان

شوفب الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • Freeware
  • اسم الناشر:
  • Daniel Zadorozny
  • حجم الملف:
  • 13 KB

شوفب العلامات


شوفب وصف

يأتي Scarab مع حزمة مكونة مصممة لمساعدتك في إنشاء أنظمة برمجة قائم على SAT فعالة. تم تطويره باستخدام لغة برمجة SCALA، ويشمل Scarab مكونات DSL، ويوفر وحدة ترميز SAT ويوفر لك واجهة إلى Saidend Sat Solver.


شوفب برامج ذات صلة

معلومات عنا