search

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

Nurikabe Contradiction: Black Must Connect always evaluates as invalid #54

Closed saltzl closed 9 years ago

saltzl commented 9 years ago

See file proof/bugged_nurikabe_black.proof