I love Zachtronics games, especially Shenzhen I/O and Opus Magnum.
Updating to say that these are logic games. Opus is more visual but just as logistically challenging as Shenzhen. Shenzhen will teach logic from a more programming perspective. As a software developer used to modern development it’s been refreshing to think things thru without modern tools.