PermuteLogicFunction IsLinearFunction IsMonotonicFunction IsOneFunction IsSymmetricFunction IsThresholdFunction MaxValue BCDEx3 TwoComplement ToDiagram ToNotFunction Dimacs FeedbackSystem list() LogicScript logicvardef() long() Not MantissaToPositiveDecimal RadixToIndex object() SOP To2LayerAndXor AutoAssignInputAndStateVariables OutputAndStateBasedly Compatibility ShannonTree SimpleInner RandomGenerate Zero