 | زيادة SAT SALVERسبت SAT بسيطة، بالإضافة إلى مكتبة Haskell |
| التحميل الان | |
زيادة SAT SALVER الترتيب والملخص
الإعلانات
- رخصة:
- BSD
- السعر:
- FREE
- اسم الناشر:
- Sebastian Fischer
- موقع ويب الناشر:
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 4 KB
زيادة SAT SALVER العلامات
زيادة SAT SALVER وصف
SIMPLESTAL ST SAT حل مكتبة Haskell Incremental-Sat-Solver عبارة عن مكتبة Haskell مجانية ومفتوحة توفر تنفيذ خوارزمية DAVIS-PUTNAM-LOGEMANN-LOVELAND لمشكلة الرضا المنطقي. لا يسمح لنقل SAT-SAT فقط لحل الصيغ المنطقية في إحدى الذهاب ولكن أيضا لإضافة قيود واستعلام الروابط المتغيرات بشكل تدريجي. متطلبات: GHC.
زيادة SAT SALVER برامج ذات صلة
