MBA-Blast is a tool for simplification of MBA expressions. - View it on GitHub