úÎë%       Safe-Inferred !"#$% !"#$% Safe-Inferred Material implication Logical biconditional Logical disjunction Logical conjunction Logical negation  Variable Evaluate expression. Variables in expression Negation normal form. Conjunctive normal form. Remove tautologies.       Safe-Inferred &'()*+ &'()*+None,Set of clause under disjuntion -Clause variable ( a or -a ) AYield the soutions for an expressions using the PicosSAT solver. 3Yield the integer clauses given to the SAT solver. .,-/01234 .-,/01234 Safe-Inferred#Pretty print with unicode symbols. !Pretty print with ascii symbols. 55None 6      !"#$%&'()*+,-./0123456789:;picologic-0.1.1Picologic.Lexer Picologic.ASTPicologic.ParserPicologic.SolverPicologic.Pretty PicologicOpParser reservedOpreserved identifierparenscontentsExprImpliesIffDisjConjNegVarCtx SolutionsIdenteval variablesnnfcnfsimp parseExprreadExpr parseFile solveProp clausesExprppExprUppExprA ppSolutionsLanguageLexer reservedOps reservedNames lexerStylelexerinfixOpprefixOp operatorsvarcexprcfactorCLCVClause backSubsttoIntsnegcombineclauses $fShowClause showExprs