Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / sgreben / rc
A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sgreben%2Frc
Stars: 1
Forks: 1
Open Issues: 7
License: None
Language: Java
Repo Size: 55.7 KB
Dependencies:
7
Created: over 7 years ago
Updated: 25 days ago
Last pushed: 25 days ago
Last synced: 25 days ago
Topics: analysis, builder, checker, constraint-satisfaction, rule-checker, rules, ruleset, yaml, z3
Files
Loading...
Readme
Loading...
Dependencies
pom.xml
maven
- com.fasterxml.jackson.core:jackson-databind 2.11.2
- com.fasterxml.jackson.dataformat:jackson-dataformat-yaml 2.11.2
- com.microsoft.z3:z3 SNAPSHOT
- org.antlr:antlr4-runtime 4.8-1
- junit:junit 4.13 test
- org.hamcrest:hamcrest-junit 2.0.0.0 test
- org.mockito:mockito-all 1.10.19 test