You are not logged in.
Skip Navigation Links
Drag and drop file to the editor for uploading the file. Text file max 10 MB. Data quota will be deducted every upload and download.
MatchLogicFunction IsParityFunction IsThresholdFunction FromBinary MaxValue binary ToNotFunction FeedbackSystem Get logicvardef Minus NumberSystem RadixToIndex MaxSAT Save Sequential OutputAndStateBasedly StateTransitionBasedly Simplification ShannonTree Fast SimpleInner string() GetDontCareLogicFunction GetNegativeLogicFunction GetPositiveLogicFunction Utility SemanticEval var Zero