GitHub repository: mazeworks-security/Simplifier
Primary language: C#
Description: Efficient general mixed boolean-arithmetic (MBA) simplifier