GitHub repository: DenuvoSoftwareSolutions/GAMBA
Primary language: Python
Description: Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA