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: about 2 months ago
First release: almost 9 years ago
Dependent packages: 64
Dependent repositories: 693
Downloads: 874,869 last month
Stars: 9,426 on GitHub
Forks: 1,440 on GitHub
Docker dependents: 31
Docker downloads: 26,846
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 21 hours ago