Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / kaiyuanw / ASketch
A Sketching Framework for Alloy
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kaiyuanw%2FASketch
Stars: 1
Forks: 1
Open Issues: 0
License: mit
Language: Java
Repo Size: 9.79 MB
Dependencies:
4
Created: almost 6 years ago
Updated: almost 6 years ago
Last pushed: almost 6 years ago
Last synced: over 1 year ago
Topics: alloy, bash, java, maven, sat-solver, sketching
Files
Loading...
Readme
Loading...
Dependencies
pom.xml
maven
- commons-cli:commons-cli 1.4
- org.antlr:antlr4-runtime 4.7
- edu.mit.csail:alloy4 4.2 system
- edu.utexas.ece:aparser 1.0 system