 | חִפּוּשִׁית פַּרעֹהכלי אב טיפוס למערכות מבוססות SAT |
| הורד עכשיו | |
חִפּוּשִׁית פַּרעֹה דירוג וסיכום
פרסומת
חִפּוּשִׁית פַּרעֹה תגים
חִפּוּשִׁית פַּרעֹה תיאור
חרפושית מגיע עם חבילת רכיב שנועדו לעזור לך ליצור יעיל מערכות תכנות מבוסס Sat. פותח באמצעות שפת תכנות Scala, Scarab כולל רכיבי DSL, מודול קידוד שבת ומספק לך ממשק לתאיב הבניין SAT.
חִפּוּשִׁית פַּרעֹה תוכנה קשורה
