for anyone on the fence about these games: I'll highly recommend Opus Magnum as the starting point. It's a good intro-to-Zachtronics game because every problem can be brute forced if desired - in many of the others, you need to make some clever arrangements and logical leaps to progress, due to very limited playing field sizes.

they are quite unique and very well-made though. if you like sequence-puzzle games but are getting tired of the endless flood of Sokoban-flavored things, give it a try!

Exapunks was my first Zach-like and I loved it. It and most other Zachtronics games have a very well-tuned difficulty curve that pushes me out of my comfort zone just the right amount. I think getting stuck for short periods of time makes for a good puzzle game.

I finished Opus Magnum a couple weeks ago and I found it a little frustrating because of the same reasons you brought up. The game doesn't force me to be clever; I can be as simplistic and inefficient as I like. I did go out of my way to design a couple efficient designs, but it didn't feel especially rewarding.

FWIW, my favorite game from them is Last Call BBS. It has several great "mini"games that feel rewarding to just complete.