Non-linear Mixed Boolean-Arithmetic Expressions - View it on GitHub