IsEqual IsInverse IsLinearFunction IsPositiveFunction IsSelfDualFunction Binary AbsoluteExpression List PureBinary binary Diagram Dimacs Imply Load logicvardef MantissaToPositiveInteger MostSignificantDigit SOP ToFullAnd OutputAndStateBasedly GetExcitationTable Simplification ROBDD Full SimpleInner Utility AdjustLogicVariableCount ComputeDONTCARE CreateDummyLogicFunction Zero