De-Obfuscating Mixed Boolean-Arithmetic (MBA)

This is an interesting de-obfuscation tool that Trail of Bits has built. I'd never come across this technique of hiding logical/arithmetic operations so it was interesting to learn about it and how they've attempted to de-obfuscate it.