IsSelfDualFunction ToBinary BCD binaryioset Convert AddXorTerm ToDualFunction ToTruthTable Dimacs FeedbackSystem Imply list() Get logicvardef LeastSignificantDigit Print ShortestInputsForTransition Assign StateTransitionBasedly ToStateTransitionTable CreateCompactTableWithFullSimplification Simplification Balanced MultiCover SimpleInner string TimingChart Utility ComputeFunctionOrder Zero