úÎ:î&      !"#$%Safe &'()*+,-./012&)./012 &'()*+,-./012Safe+VariableLogical 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.3(Transform expression up from the bottom.4'Transform expression down from the top.51Convert 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. 673458     673458Safe 9:;<=>? 9:;<=>?Safe"Pretty print with unicode symbols. Pretty print with ascii symbols.Pretty print into S-Expressions @ABCDE @ABCDENone?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.  FGHI!J" !" !"  FGHI!J"Safe KLMNO#PQ$%RS#$%#$% KLMNO#PQ$%RSNone#  !"T      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLFGMNOPBQRSTUVWpicol_HMS3b8h9ABW380zJwqdXUo Picologic.ASTPicologic.ParserPicologic.PrettyPicologic.SolverPicologic.TseitinPicologic.Lexer PicologicExprVarNegConjDisjIffImpliesTopBottomCtx SolutionsIdenteval variablesnnfcnfsimpisConst propConstsubstpartEval parseExprreadExpr parseFileppExprUppExprA ppExprLisp ppSolutions solvePropsolveCNF solveOneCNF clausesExpraddVarsToSolutions tseitinCNFdropTseitinVarsInSolutionsdropTseitinVarsOpLanguageLexerParser reservedOps reservedNames lexerStylelexer reservedOpreserved identifierparenscontents transformUp transformDowntoListnnf1simp1 propConst1infixOpprefixOp operatorsvarconstantcexprcfactorandsorsiffs showExprs$fShowSolutions $fShowExprclausesFromCNF cnfToDimacs backSubstTSevalTSorandnegtseitinisTseitinLiteral tseitinName