MBA-Blast. MBA-Blast is a tool for simplification of MBA expressions.
MBA-Solver. Python
Gadget-Planner. C
