IsBlankFunction IsEqual ToBinary GrayCode binary binaryioset() bool() ToXORP Dimacs Imply logicvardef long Minus Nor PositiveDecimalToMantissa PositiveNumberToMantissa OrAnd ToFullAnd TransitionSeries AutoAssignInputAndStateVariables ToFeedbackSystem Simplification Balanced DontCare TimingChart TruthTable GetSubTable SemanticEval Xor Zero