Document ideas for puzzle-solving DSL(s)

[knexer]

So far:

• Neighborhood pattern matching rules, with upgrades for:
  • symmetry
  • larger neighborhoods
  • producing and consuming some kind of notes instead of only flagging and/or revealing
• Subset-based rules, identifying things like 'x of these y squares are mines'
• Backtracking/guess and check systems, maybe building on the note-taking ideas above

[knexer]

For symmetry - maybe allow players to say 'arrangement of squares around the middle one doesn't matter', but make the 'cost' of applying the rule increase with how many possible arrangements of said surrounding squares there are. Or maybe the arrangement should just never matter? And we can add upgrades to decrease the cost of applying symmetry.

This could also create an interesting use case for rule chaining / filtering - like, first check if there's a 3 in the middle, then check for flagging/revealing opportunities around that 3.

[knexer]

Switch automation over to a 'worker' model, wherein players employ multiple workers to go over the board applying rules. Each rule would have a time cost, each worker would have a speed, those combine to determine how quickly the worker moves over the board. Workers could be upgraded separately from one another.