Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 8.7% dependent repos on repo1.maven.org
repo1.maven.org : org.sosy-lab:javasmt-solver-z3
SMT solver Z3 for use in JavaSMT
Registry
-
Source
- Documentation
- JSON
purl: pkg:maven/org.sosy-lab/javasmt-solver-z3
Keywords: java, smt, solver
License: MIT
Latest release: 4 months ago
First release: about 8 years ago
Namespace: org.sosy-lab
Dependent packages: 2
Dependent repositories: 8
Stars: 140 on GitHub
Forks: 36 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 2 days ago
org.sosy-lab:java-smt 4.1.1
Unified acccess layer to SMT solvers50 versions - Latest release: 4 months ago - 3 dependent packages - 16 dependent repositories - 140 stars on GitHub
com.github.green-solver:green 0.2.0
Universal interface to decision procedures, constraint solvers, model counters, and related tools1 version - Latest release: almost 5 years ago - 1 dependent package - 1 dependent repositories