IsBiUnateFunctionTo IsPositiveUnateFunctionTo And ToAndOr List MaxValue MinValue ToBinary binary bool() ToVariableInvertedFunction Dimacs Equiv FeedbackDiagram Count logicvardef() Nand Not RadixFromIndex Or MaxSAT ShortestInputsForTransition CreateCompactTable SimpleInner StateTransition AdjustLogicVariableCount ComputeDONTCARE IndependentBase Normalization Zero