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