Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 1.2% downloads on formulae.brew.sh
Top 3.3% dependent packages on formulae.brew.sh
Top 1.6% forks on formulae.brew.sh
formulae.brew.sh : z3
High-performance theorem prover
Registry
-
Source
- JSON
purl: pkg:brew/z3
License: MIT
Latest release: 13 days ago
First release: about 2 years ago
Dependent packages: 8
Dependent repositories: 7
Downloads: 39,325 last month
Stars: 9,751 on GitHub
Forks: 1,441 on GitHub
Total Commits: 15684
Committers: 315
Average commits per author: 49.79
Development Distribution Score (DDS): 0.429
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago