Ecosyste.ms: Packages

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

Top 0.6% on pypi.org
Top 0.6% downloads on pypi.org
Top 0.3% dependent packages on pypi.org
Top 0.5% dependent repos on pypi.org
Top 1.1% forks on pypi.org
Top 1.1% docker downloads on pypi.org

pypi.org : z3-solver

an efficient SMT solver library

Registry - Source - Documentation - JSON
purl: pkg:pypi/z3-solver
Keywords: z3, smt, sat, prover, theorem
License: MIT
Latest release: 3 months ago
First release: over 7 years ago
Dependent packages: 64
Dependent repositories: 693
Downloads: 281,432 last month
Stars: 9,426 on GitHub
Forks: 1,440 on GitHub
Docker dependents: 31
Docker downloads: 26,842
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

ltfish
16 packages
484,315 downloads
NikolajBjorner
1 package
253,410 downloads
rhelmot
29 packages
1,063,740 downloads
salls
13 packages
451,743 downloads
zardus
27 packages
551,494 downloads