Use docker forensics to extract the judge binary, reverse the crystal-lang binary to understand how to interact with it and finally write a maze solver in javascript.

Original writeup (https://imp.ress.me/blog/2023-04-03/hack-a-sat-4#leavenworth-street).