'Check' checks out when proof is ended in transition

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

'Check' checks out when proof is ended in transition #87

Open Bram28 opened 8 years ago

Bram28 commented 8 years ago

It should make sure all open ends of tree are valid (contain no contradictions) and completed (all filled in) board states (of which there may be 0 (no solutions to puzzle), 1 (unique solution to puzlze), or more than 1 (multiple solutions to puzzle))