Major slowdown for large proofs

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

Major slowdown for large proofs #71

Open mmellone opened 9 years ago

mmellone commented 9 years ago

I noticed in Nurikabe that Legup slows down quite drastically when proofs begin to get large. I believe this problem came up before, though I'm not sure if it was ever addressed.