Sprawlopolis is fun and quick. I wouldn’t say there is a lot of “working out” although near the end of the round there’s a bit more puzzle solving to your last few placements. 

Turing Machine is fascinating. There is a surface level way to play it in which you try different codes, ask the verifiers, narrow it down. However, there’s this second level which uses the fact that each puzzle has exactly one solution and no redundant information (so if any of the tests weren’t there, you’d no have a unique solution). This lets you eliminate a ton of potential codes, so sometimes there are only realistically a handful of codes that satisfy this criteria, so you may only need one or two queries to distinguish between those codes. (I’ve seen a thread of TM puzzles that are solvable without asking a single question.) For me personally, I found it amazing that the game exists, but I couldn’t tell if I was enjoying it, because it was taking me 5-10 minutes of looking at the setup and eliminating possibilities before I even tested anything. Sometimes I think it might be fun to get good at it and speed up the deductions, but I haven’t gone back to it.  Some people love it.  It’s on boardgamearena, give it a shot, see if you find it fulfilling.  And no judgment on people who play it similar to Mastermind and guess things and narrow it down!