Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / xingweitian / checker-framework-inference
Inference of pluggable types for Java
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/xingweitian%2Fchecker-framework-inference
Fork of opprop/checker-framework-inference
Stars: 0
Forks: 1
Open Issues: 5
License: None
Language: Java
Repo Size: 3.71 MB
Dependencies:
13
Created: about 5 years ago
Updated: about 1 year ago
Last pushed: about 1 year ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
build.gradle
maven
- com.google.code.gson:gson 2.9.0 implementation
- com.google.guava:guava 31.1-jre implementation
- com.googlecode.json-simple:json-simple 1.1.1 implementation
- org.ow2.sat4j:org.ow2.sat4j.core 2.3.6 implementation
- org.ow2.sat4j:org.ow2.sat4j.maxsat 2.3.6 implementation
- org.plumelib:options 1.0.5 implementation
- org.plumelib:plume-util 1.5.8 implementation
- junit:junit 4.13.2 testImplementation
- org.mockito:mockito-all 2.0.2-beta testImplementation
requirements.txt
pypi
- PyGithub *
- lithium-reducer *
- pyyaml ==5.4.1
- z3-solver ==4.8.9.0