Reed-Muller Expansion normal form for Boolean Formulas - View it on GitHub