 | funsat.STPLL STPOL SAT الحديثة |
| التحميل الان | |
funsat. الترتيب والملخص
الإعلانات
- رخصة:
- Freeware
- السعر:
- FREE
- اسم الناشر:
- Denis Bueno
- موقع ويب الناشر:
- http://github.com/dbueno/funsat/wikis
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 40 KB
funsat. العلامات
funsat. وصف
STPLL-Style STPOL SAT الحديثة Funsat هو حامل Haskell الأصلي SAT يستخدم التقنيات الحديثة لحل مثيلات السبت. تشمل الميزات الحالية حرفي مشاهدتين، والتعلم الموجه للنزاعات، والتراجع غير الزمني، وأمر متغير ديناميكي مثل VSIDS، وإعادة تشغيله. تهدف Funsat إلى تسهيل التضمين المريح لنقل SAT سريع بشكل معقول كحبل قيود في تطبيقات أخرى. ملاحظة: Funsat مرخص وتوزيعه بموجب شروط ترخيص LGPL. متطلبات: GHC.
funsat. برامج ذات صلة
