Minesweeper - Githubissues

Bram-Hub / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

GNU General Public License v3.0

33 stars 82 forks source link

Minesweeper #771

Closed vockek closed 6 months ago

vockek commented 7 months ago

Description

Added "satisfy flag" case rule
Added functions to MinesweeperCell, MinesweeperUtilities and Unset clsases
Fixed "bomb or filled" case rule picture
Added "more bombs than flag" contradiction rule

Closes #(issue)

Type of change

[ ] Bug fix (non-breaking change which fixes an issue)
[x] New feature (non-breaking change which adds functionality)
[x] Enhancement (improvement to an already existing feature)
[ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)

How Has This Been Tested?

I used a few example minesweeper puzzle files to make sure the case rule worked in a few different scenarios (in the middle, on edges, corners, etc.)

Checklist:

[x] I have performed a self-review of my code
[ ] I have commented my code, particularly in hard-to-understand areas
[ ] I have made corresponding changes to the documentation (if applicable)
[x] My changes generate no new warnings
[ ] I have added tests that prove my fix is effective or that my feature works
[x] New and existing unit tests pass locally with my changes