Sudoku: Case Possible Numbers for Cell

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

Open Bram28 opened 9 years ago

Bram28 commented 9 years ago

Verification of case rule does not work correctly ... transition always turns red with 2 cases ... and always green with 3 or more cases

mmellone commented 8 years ago

Also does not let you apply a case rule if there is a previous error in the proof. Not a huge problem, but it makes it difficult for testing...