For me Bombe was fun, but I lost interest once rules needed to be complicated enough that I would have to run them for multiple hours to solve further levels. You either end up needing rules with four or five variables to apply fully generally, or you break down and define a combinatorial explosion of rules with some of those variables specialized. The priority system doesn't work reliably either; I frequently see a new rule I just added with max priority not running while other slower rules keep running for thousands of ticks.
It's not the dev's fault because Minesweeper is inherently hard for a solver (the game uses Z3) to solve in this way, but it took the fun out of it for me. But the amount of fun I got until I reached that point was well worth the sale price. (Also I can never be too negative about a dev who supports Linux first-class as brejc does.)
The dev does have a penchant for making dense and obtuse UI, but once you get used to it it stops being a problem. I remember when I first booted up Bombe I thought the UI looked as obtuse as the one in ComPressure, went to Steam to check, and lo and behold it was the same dev :D
I.e. you make rules like "If there are 2 free cells around number 2 them flag them" and the game recursively applies them to the board
Except simple levels solve fast and in ten minutes you are on monstrosities like
https://store.steampowered.com/app/2262930/Bombe/