Bram-Hub / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU General Public License v3.0
29 stars 78 forks source link

Added "Finish with Bombs" direct rule #813

Closed vockek closed 4 months ago

vockek commented 4 months ago

Description

Added a new direct rule, and fixed a bug with an existing case rule

Closes #(issue)

Type of change

How Has This Been Tested?

Checklist: