Did anyone else get reminded of the Lexographic Ordering Solver that played NES games? This was featuring in Sigbovik 2013.

http://tom7.org/mario/

Video: https://www.youtube.com/watch?v=xOCurBYI_gY

It did remind me of that. Tom7 is a treasure