צילום מסך תוכנה:
Solver ביטוי בוליאני הוא כלי פקוד שיוצר טבלת אמת עבור ביטוי בוליאני נתון.
זה כתוב ב- Java, ולכן זה יהיה לרוץ על כל פלטפורמה שיש לו את סביבת זמן הריצה ג'אווה מותקנת, אבל makefile ופצצות-סקריפט כלול לנוחות בדרך כלל דורש nix *.
תגובות לא נמצא