https://github.com/MiniZinc/specialization-examples
https://github.com/MiniZinc/specialization-examples
Last synced: 12 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/MiniZinc/specialization-examples
- Owner: MiniZinc
- Created: 2016-08-30T14:57:05.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2024-03-01T03:22:55.000Z (over 2 years ago)
- Last Synced: 2024-11-18T03:17:10.976Z (over 1 year ago)
- Size: 126 KB
- Stars: 66
- Watchers: 12
- Forks: 63
- Open Issues: 14
-
Metadata Files: