Efficient mixed boolean-arithmetic (MBA) simplifier - View it on GitHub