IsThresholdFunction AbsoluteExpression GrayCode PureBinary binaryioset AddXorTerm FeedbackSystem Load long() NumberSystem LeastSignificantDigit PositiveDecimalToMantissa PositiveNumberToMantissa RadixFromIndex RadixToIndex object() One To2LayerNor SAT AutoAssignInputAndStateVariables OutputAndStateBasedly ROBDD SimpleInner string() TruthTable CreateFromLogicFunctions GetDontCareLogicFunction ComputeFunctionOrder Normalization Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.