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 IsLinearFunction bool() bool ToShannonTree ToVariableInvertedFunction Dimacs ExcitationTable logicvardef() Not LeastSignificantDigit MantissaToPositiveNumber RadixFromIndex One Realization To2LayerOrAnd MaxSAT Save InputVariables Backwardly StateTransitionBasedly ToFeedbackSystem To2layerOrAnd BestVariableOrder FastVerificationData Canonical Full TruthTable EnlargeLogicFunction Zero