Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 6.1% dependent repos on repo1.maven.org

repo1.maven.org : org.sosy-lab:java-smt

Unified acccess layer to SMT solvers

Registry - Source - Documentation - JSON
purl: pkg:maven/org.sosy-lab/java-smt
Keywords: java, smt, solver
License: Apache-2.0
Latest release: 4 months ago
First release: about 8 years ago
Namespace: org.sosy-lab
Dependent packages: 3
Dependent repositories: 16
Stars: 140 on GitHub
Forks: 36 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago

Readme