Fixed bugs and continued Contradiciton rule work

Bram-Hub / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

GNU General Public License v3.0

33 stars 82 forks source link

Closed B-McCusker56 closed 7 months ago