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!
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.
if you don't enjoy them, then you've at least had a sizable taste of the mechanics and know why it's not your thing, rather than getting hard-blocked early on because you couldn't figure out a trick :)
Exapunks can be pretty tricky with the distributed nature, which share some similarities with TIS-100. Like Opus Magnum, though, there are no restrictive code size limits, meaning that some puzzles can be solved with brute force masses of code. It's not as bad as Shenzhen I/O where you have to deal both with a tiny MCU and routing.
1. It had the least overlap with my day-job work.
2. It's somehow more-pleasing to watch a mechanical (albeit simulated) 3D machine do work, contrasted to the flickering playgrounds of Exapunks or Shenzhen IO.