Csisat הוא הליך ההחלטה אינטרפולציה לתיאוריה ללא כימות של אריתמטית ליניארית רציונלית ושוויון עם סמלים פונקציונליים ללא הפרעה. היישום שלנו משלב את היעילות של תכנות ליניארי לפתרון החלק האריתמטי עם היעילות של SAT Solver כדי לחשוב על המבנה הבוליאני. קח csisat עבור כונן הבדיקה כדי לראות מה זה באמת יכול לעשות בשבילך!
softwaresea.com מספק את מרכז הורדת התוכנה החינמית הירוק העדכני ביותר בבית ובחול, כולל תוכנות מחשב, אפליקציית אפל, אפליקציית אנדרואיד ועוד הורדות חינמיות של תוכנות ניידות למחשב. אם אתה רוצה ללמוד עוד על תוכנה חופשית ירוקה, הורד אותה ב-softwaresea.com!