IsParityFunction IsThresholdFunction Binary BinaryNumberToString binaryioset() binaryioset ToOrAnd ToDualFunction ToTruthTable ToXORP MantissaToPositiveNumber PositiveIntegerToMantissa PositiveNumberToMantissa RadixFromIndex MaxSAT Save TransitionSeries Implementation To2layerOrAnd BestVariableOrder Fast DontCare StateDeviceName ComputeDONTCARE EnlargeLogicFunction IndependentBase Normalization ShrinkLogicFunction Xor Zero