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

Slow Down #49

Closed Bram28 closed 9 years ago

Bram28 commented 9 years ago

When the proof tree gets big, LEGUP becomes (far too) slow to respond. I believe this is especially so after merging nodes.