 | شوفبأداة النماذج الأولية لأنظمة برمجة القيود المستندة إلى SAT |
| التحميل الان | |
شوفب الترتيب والملخص
الإعلانات
- رخصة:
- Freeware
- السعر:
- FREE
- اسم الناشر:
- Scarab Team
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 20.9 MB
شوفب العلامات
شوفب وصف
Scarab هو أداة نماذج أولية مجانية ومفتوحة ومصدرية سريعة النماذج النموذجية المصممة لأنظمة برمجة القيود المستندة إلى SAT. يتضمن Scarab وحدة ترميز SAT، ومكونات لغة محددة في مجال البرمجة، وواجهة لحل SAT SAT SAT. بالإضافة إلى ذلك، يمكنك أيضا استخدام Scarab لخلق أنظمة SAT فعالة.
شوفب برامج ذات صلة
