Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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: 2 months ago
First release: over 7 years ago
Dependent packages: 64
Dependent repositories: 693
Downloads: 283,449 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