I've tried to write this a bunch, it's very difficult to explain what I mean! Basically there's a whole family of rules that boil down to: If a group can be multiple numbers, but it's overlapped by another group that reduces that number, reduce the number. For example if a 7-sized group is 5/6/7 but 3 of the cells are covered by a 2-group, and 3 *other* cells are covered by another 2-group, that original group is actually a 5 group. Whenever I try to make a rule that would cover this using variables...

The manual states that 2+ means 2 or more. I take it that it's 2 inclusive. However I have issues using it with variables. From my understanding, the following area should resolve when X = 5 (total region has 6+ bombs, the sub-region has 5 bombs), but it doesn't. Any idea on what I'm doing wrong? https://psteamcommunity.yuanyoumao.com/sharedfiles/filedetails/?id=3642327710...

I keep getting "not responding" on the title bar after it has been working on a puzzle for a little while (a minute or two). I cannot interact with the program once it starts doing that. If I wait a while, it continues solving. When it continues, it makes one new region then stops responding again. It seems to get stuck on drawing the new region. I see a black line with circles where the region should be but no color or clue is drawn for it yet. Like it has started to draw the new region but hasn't fi...

Can the variables be decimals in calculation? For example if some rule would apply to: x+kappa=2, x+pi=3, pi+kappa=2, this is definitely solvable but the result would be that kappa=0.5, pi=1.5, psi=1.5, would the rule still apply or will it not be applied because variables are forced to be integers? Thx!...

maybe this is something I just haven't unlocked yet, but I'd love to be able to take the axiom of choice when constructing my rules. i.e i wish i could create a rule that applies to each identical cell in a grouping individually, ideally pairing it with another cell/grouping to create a new region. there are several times i have felt like i could solve a puzzle if only i could make a rule like this, but was otherwise lost for what to do....