PermuteLogicFunction PureBinary bool() ToAndXor ToDiagram Dimacs Email FeedbackDiagram Imply list() minterm Nand PositiveIntegerToMantissa PositiveNumberToMantissa object Or To2LayerOrAnd To2LayerAndXor MaxSAT CreateCompactTableWithFullSimplification HuffmanMealy BestVariableOrder Fast DontCare CreateFromLogicFunctions Normalization ShrinkLogicFunction var XORP Zero