Analysis IsEqual IsSymmetricFunctionTo IsThresholdFunction IsUnateFunctionTo And FromBinary MinValue BCD GrayCode OneComplement binaryioset() binaryioset Diagram DigitalSystem Dimacs Load long minterm PositiveDecimalToMantissa One POS real() MaxSAT CreateCompactTableWithFullSimplification SimpleCover Utility ComputeDONTCARE var() Zero