Empty template development environment for Kodkod system.
Stars
1
Forks
0
Watchers
1
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
356
commits
11
commits
1
commits
1
commits
1
commits
Merge branch 'master' of github.com:Way2CU/Kodkod-Template
89833f8View on GitHubConfig: Include CORS usage example and made other constants uniform.
352db48View on GitHub