Why golf by hand when you can use Z3? Find the full and colorful writeup at [https://saarsec.rocks/2020/05/14/golf.so.html](https://saarsec.rocks/2020/05/14/golf.so.html)