A couple of years back, I made a proof-of-concept, search-based AI to solve ThinkFun's Gordian's Knot, a disassembly puzzle that I particularly like. It included rudimentary support for OpenGL rendering and state-space visualization with Graphviz. While an interesting novelty, I never put in the time to polish it for release …