https://github.com/plcoster/cs50ai-week1-knights
CS50AI Week 1 - Knights: A Model Checking algorithm to solve 'knights and knaves' logic puzzles
https://github.com/plcoster/cs50ai-week1-knights
Last synced: 12 months ago
JSON representation
CS50AI Week 1 - Knights: A Model Checking algorithm to solve 'knights and knaves' logic puzzles
- Host: GitHub
- URL: https://github.com/plcoster/cs50ai-week1-knights
- Owner: PLCoster
- Created: 2020-05-12T21:42:48.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-05-13T06:15:17.000Z (about 6 years ago)
- Last Synced: 2025-06-14T06:32:56.824Z (about 1 year ago)
- Language: Python
- Homepage:
- Size: 4.88 KB
- Stars: 4
- Watchers: 1
- Forks: 3
- Open Issues: 0