Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / sosy-lab / java-smt

JavaSMT - Unified Java API for SMT solvers.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sosy-lab%2Fjava-smt

Stars: 173
Forks: 42
Open Issues: 62

License: apache-2.0
Language: Java
Repo Size: 123 MB
Dependencies: 24

Created: over 8 years ago
Updated: 4 days ago
Last pushed: 3 days ago
Last synced: 3 days ago

Commit Stats

Commits: 3577
Authors: 41
Mean commits per author: 87.24
Development Distribution Score: 0.519
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/sosy-lab/java-smt

Topics: java, smt, solver

Files
    Loading...
    Readme
    Loading...
    Dependencies
    doc/Example-Gradle-Project/build.gradle maven
    doc/Example-Gradle-Project-Kotlin/build.gradle.kts maven
    doc/Example-Maven-Project/pom.xml maven
    doc/Example-Maven-Web-Project/pom.xml maven
    lib/ivy.xml maven