This directory contains the Haskell rme library, which provides a Reed-Muller Expansion datatype for representing Boolean formulas.