contradictions in a case rule should propagate up the tree until the last branching point

Bram28 / LEGUP

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

GNU Affero General Public License v3.0

2 stars 8 forks source link

contradictions in a case rule should propagate up the tree until the last branching point #32

Closed daniel-bulger closed 11 years ago

daniel-bulger commented 11 years ago

Incorrectness of board states should be indicated by filling the board state nodes in with red. The rules being applied within the branch should still be green or red depending on whether they were applied correctly.