úÎZ/      !"#$%&'()*+,-.Safe /0123456789:;/2789:; /0123456789:;Safe0VariableLogical negationLogical conjunctionLogical disjunctionLogical biconditionalMaterial implication Constant trueConstant falseEvaluate expression.Variables in expression9Negation normal form. (May result in exponential growth)<Conjunctive normal form. (May result in exponential growth)Remove tautologies.Test if expression is constant.<(Transform expression up from the bottom.='Transform expression down from the top.>1Convert expression to list of all subexpressions.-Propagate constants (to simplify expression).aSubstitute expressions for variables. This doesn't resolve any potential variable name conflicts.Partially evaluate expression. ?@<=>A     ?@<=>ASafe BCDEFGH    BCDEFGH Safe!"Pretty print with unicode symbols." Pretty print with ascii symbols.#Pretty print into S-Expressions !"#IJK$L%&!"#$!"#$ !"#IJK$L%&None'?Yield the solutions for an expression using the PicoSAT solver.(lYield the solutions for an expression using the PicoSAT solver. The Expression must be in CNF form already.)rYield one single solution for an expression using the PicoSAT solver. The Expression must be in CNF form already.*2Yield the integer clauses given to the SAT solver. '()MNOP*Q+'()*+'()*+ '()MNOP*Q+Safe RSTUV,WX-.YZ,-.,-. RSTUV,WX-.YZNone#  !"#$'()*+[      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSOPTUVWKXYZ[\]^&picologic-0.3.0-9weoOuzDl2w5zbBC0pN6sP Picologic.ASTPicologic.ParserPicologic.PrettyPicologic.SolverPicologic.TseitinPicologic.Lexer PicologicExprVarNegConjDisjIffImpliesTopBottomCtx SolutionsIdenteval variablesnnfcnfsimpisConst propConstsubstpartEval $fEqIdent $fOrdIdent $fShowIdent $fDataIdent$fEqExpr $fOrdExpr $fDataExpr parseExprreadExpr parseFileppExprUppExprA ppExprLisp ppSolutions$fShowSolutions $fShowExpr solvePropsolveCNF solveOneCNF clausesExpraddVarsToSolutions tseitinCNFdropTseitinVarsInSolutionsdropTseitinVarsOpLanguageLexerParser reservedOps reservedNames lexerStylelexer reservedOpreserved identifierparenscontents transformUp transformDowntoListnnf1simp1 propConst1infixOpprefixOp operatorsvarconstantcexprcfactorandsorsiffs showExprsclausesFromCNF cnfToDimacs backSubstTSevalTSorandnegtseitinisTseitinLiteral tseitinName