A simple mixed-boolean-arithmetic (MBA) generator witten in python - View it on GitHub