boolean-solver A library to simplify expressions in boolean algebra. Supported operators + Disjunction * Conjunction ~ Negation => Implication <=> Bi-implication