https://github.com/glguy/sat-for-games

SAT tutorial exercise code
https://github.com/glguy/sat-for-games

Last synced: 3 months ago
JSON representation

SAT tutorial exercise code

• Host: GitHub
• URL: https://github.com/glguy/sat-for-games
• Owner: glguy
• License: isc
• Created: 2018-09-21T00:02:34.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-09-29T13:14:22.000Z (over 6 years ago)
• Last Synced: 2024-05-08T20:14:10.984Z (8 months ago)
• Language: Haskell
• Homepage:
• Size: 364 KB
• Stars: 5
• Watchers: 3
• Forks: 1
• Open Issues: 1

Awesome Lists containing this project