dune build
./_build/default/source/saguaro.exe FILE
FILE contains the propositional formula you wish to solve.
~ negation
& and
| or
=> implication
<=> iff
Precedence decreases downwards. Brackets can be used for explicit precedence. Variables must be a string of alphabetical ASCII characters.
A <=> ~AA & C => A | BA & B & C & D | E