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: 3 days ago
First release: about 2 years ago
Dependent packages: 8
Dependent repositories: 7
Downloads: 37,093 last month
Stars: 9,721 on GitHub
Forks: 1,436 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: about 16 hours ago