úÎrÜ     Safe  !"#$%&'()*+"'()*+  !"#$%&'()*+Safe+ VariableLogical negationLogical conjunctionLogical disjunctionLogical biconditionalMaterial implication Evaluate expression. Variables in expression9Negation normal form. (May result in exponential growth)<Conjunctive normal form. (May result in exponential growth)Remove tautologies.        Safe ,-./01 ,-./01Safe"Pretty print with unicode symbols. Pretty print with ascii symbols.Pretty print into S-Expressions 23456 23456None?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. 789:; 789:;Safe <=>?@ABCDE <=>?@ABCDENone F      !"#$%&'()*+,-./0123456789:;<=89>?@A5BCDEFGHIpicol_1UXCxyEKs4T7CZLCevjd3y Picologic.ASTPicologic.ParserPicologic.PrettyPicologic.SolverPicologic.TseitinPicologic.Lexer PicologicExprVarNegConjDisjIffImpliesCtx SolutionsIdenteval variablesnnfcnfsimp parseExprreadExpr parseFileppExprUppExprA ppExprLisp ppSolutions solvePropsolveCNF solveOneCNF clausesExpr tseitinCNFdropTseitinVarsInSolutionsdropTseitinVarsOpLanguageLexerParser reservedOps reservedNames lexerStylelexer reservedOpreserved identifierparenscontentsinfixOpprefixOp operatorsvarcexprcfactorandsorsiffs showExprs $fShowExprclausesFromCNF cnfToDimacs backSubstTSevalTSorandnegtseitinisTseitinLiteral tseitinNamesimplify