شهد مجال الذكاء الاصطناعي والبرمجة تطورات جديدة مع إطلاق النسخة الثالثة من EZSMT، وهي إطار عمل متقدم مبني على برمجة مجموعة حلول القيود (Constraint Answer Set Programming - CASP). يتفرد هذا الإصدار بتقديم لغة إدخال أكثر تعبيرية، ويدعم تحسين الأداء عبر القيود الضعيفة، مما سيمكن العلماء والمطورين من تحقيق إنجازات أكبر في معالجة المشكلات المعقدة.

تستند EZSMT Version 3 إلى الأسس المبتكرة لنظام EZSMT+، حيث تم تطويره ليشمل تكامل أنواع جديدة من القيود بشكل مبسط. بدلاً من استخدام إجراءات بحث مخصصة، تستعين EZSMTV3 بمحللات حديثة مثل CVC5 وYICES وZ3 لتعزيز كفاءة التفكير والتحليل.

توفر هذه النسخة الجديدة من EZSMT منصة قوية لاكتشافات مستقبلية واستكشاف نظري واسع ضمن نطاق CASP. ولإثبات كفاءتها، يوفر البحث نتائج مقارنات مع أنظمة CASP الشهيرة مثل CLINGCON وCLINGO[DL] وCLINGO[LP].

إن EZSMT Version 3 ليست مجرد تحديث، بل تمثل انطلاقة جديدة لعالم يعج بالإمكانيات في البرمجة الذكية ومعالجة القيود.