Advanced PermuteLogicFunction IsPositiveFunction binary() ToAndXor ToNotFunction ToShannonTree ToVariableInvertedFunction Email Equiv Get logicvardef Minus Not MantissaToPositiveDecimal PositiveIntegerToMantissa PositiveNumberToMantissa real() To2LayerNor SAT Assign Backwardly Forwardly StateTransitionBasedly ROBDD Shannon SimpleInner TimingChart GetDontCareLogicFunction Zero