GitHub repository: B-McCusker56/LEGUP
Description: Logic Engine for Grid-Using Puzzles - a better way to learn formal logic