منصوبے کے بارے میں

jcsp هي مكتبة Java مصممة لحل مشكلات إشباع القيود (CSPs) باستخدام مبادئ Java الحديثة (21+). تعيد تصور تحليل القيود من خلال عدسة وظيفية خالصة وغير قابلة للتغيير، وتتغلب على قيود المحللات التقليدية التي تعتمد على الحالة القابلة للتغيير عالميًا وأكوام التتبع الإجرائية. تتضمن الميزات الأساسية أجسامًا أساسية غير قابلة للتغيير بشكل عميق لضمان أمان الخيوط، بحث محلي متوازي يستغل نواة CPU المتعددة، وواجهة برمجة تطبيقات تدفقية كسولة تسمح بمعالجة تدريجية للحلول باستخدام أنابيب Java Stream القياسية. تدعم المكتبة استراتيجيات حل متعددة مثل البحث عن طريق الارتداد، تفكيك الشجرة، وتحسين الفرع والحد. كما توفر معالجة مسبقة واسعة النطاق للاتساق مع قيود عالمية مختلفة مثل AllDiff، Cumulative، وGlobalCardinality، مما يضمن تقليل المجال بكفاءة. بالإضافة إلى ذلك، يدعم jcsp المتغيرات ذات القيم الحقيقية مع حساب التفاضل والتكامل الفتري، ومتغيرات المجموعات للمشكلات التوافقية، وقراءة ملفات مثيل XCSP3. تكوين المحلل مرن، ويسمح بحدود البحث، والإلغاء، وتعلم الـ nogood، مما يجعله مناسبًا للميكروسيرفيسات السحابية ومهام التحسين المعقدة.