סטי פאזי לעדה הוא ספרייה המספקת יישומים של גורמי ביטחון בפעולות לא, ו, או, XOR, +, ו*, סטים קלאסיים מטושטשים עם פעולות הגדרה תיאורטית ופעולות של תיאורית האפשרות, מטושטשים intuitionistic אוזניות עם הפעולות עליהם, לוגיקה עמומה המבוסס על ערכות מטושטשות...