A generator for Mixed-Boolean-Arithmetic expressions. - View it on GitHub