Advanced MatchLogicFunction IsBlankFunction IsCovering IsInverse IsSymmetricFunction List GrayCode StringToBinaryNumber TwoComplement binaryioset bool() Dimacs logicvardef() logicvardef minterm Not MantissaToPositiveInteger One OutputAndStateBasedly Compatibility FastVerificationData StateTransition CreateFromLogicFunctions GetNegativeLogicFunction CreateDummyLogicFunction Normalization ShrinkLogicFunction var Zero