prop-logic-lib 0.2.0
“A propositional logic analyzer and solver”
Python input prompt with literal text
SHA-256c82a511d573e304503dd4ff4c1e7f6475052a367bea3231f681419f055497684
MaleculeH(U)
Evidence
⋯5 lines
6input_expr: str = ''
7while True:
8 input_expr = input("> ")
9 if input_expr.lower() in ('exit', 'quit'):
10 break
⋯4 lines
No evidence locations were recorded for this file. Raw result