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: 3 months ago
First release: over 7 years ago
Dependent packages: 64
Dependent repositories: 693
Downloads: 271,411 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: about 2 hours ago
4.8.0.0.post1
Published: almost 6 years agoRegistry - Documentation - Download sha256-a28e4a7051592...
4.5.1.0.post2
Published: almost 7 years agoRegistry - Documentation - Download sha256-e41001b7f43ec...
4.5.1.0.post1
Published: over 7 years agoRegistry - Documentation - Download sha256-0c7cfc0d60750...
4.4.2.1.post1
Published: over 7 years agoRegistry - Documentation - Download sha256-9551c2bb109f6...