| Azucar כלי לפתרון CSPS באמצעות גישה מבוססת SAT. |
הורד עכשיו |
Azucar דירוג וסיכום
Azucar תגים
Azucar תיאור
Azucar הוא אילוץ שביעות רצון בעיה Solver כי מבוסס על שיטת בוליאני ססוק. היישום יכול לפתור בעיות סופיות לא ליניארי לא ליניארי, אילוצים אופטימיזציה בעיות מקס-CSP על מספרים שלמים. הוא משתמש בשיטת קידוד הזמנה קומפקטית המייצגת כל מספר שלם באמצעות מערכת מספרה.
Azucar תוכנה קשורה