Advanced PermuteLogicFunction Analysis IsEqual IsSelfDualFunction ToBinary GrayCode binaryioset() bool() ToDualFunction ToPOS ToROBDD Dimacs FeedbackDiagram list() LogicScript long() Nor LeastSignificantDigit PositiveIntegerToMantissa One PermutationMatrix Save InputVariables ShannonTree StateTransition string() RandomGenerate Xor Zero