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: 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
lclayout 0.0.18
CMOS standard-cell layout generator.3 versions - Latest release: 4 months ago - 1 dependent repositories - 24 downloads last month - 9,881 stars on GitHub - 1 maintainer
pyparaspace 0.1.8
The Z3 Theorem Prover9 versions - Latest release: 7 months ago - 1 dependent package - 1 dependent repositories - 36 downloads last month - 9,867 stars on GitHub - 1 maintainer
pysmt 0.9.5
A solver-agnostic library for SMT Formulae manipulation and solving79 versions - Latest release: about 2 years ago - 8 dependent packages - 38 dependent repositories - 22 thousand downloads last month - 9,890 stars on GitHub - 2 maintainers
penaltymodel-maxgap 0.5.6
Generates penalty models using smt solvers.17 versions - Latest release: over 2 years ago - 3 dependent packages - 5 dependent repositories - 57 downloads last month - 9,881 stars on GitHub - 2 maintainers
z3-solver-crosshair 4.8.8.0.1
A fork of the Z3 SMT solver library for use in CrossHair.1 version - Latest release: about 4 years ago - 1 dependent package - 1 dependent repositories - 68 downloads last month - 9,422 stars on GitHub - 1 maintainer
z3-solver-mythril 4.8.4.1
an efficient SMT solver library1 version - Latest release: over 5 years ago - 2 dependent repositories - 104 downloads last month - 9,426 stars on GitHub - 1 maintainer
z3gi 0.1.1
Grammatical inference using the Z3 SMT solver1 version - Latest release: about 7 years ago - 1 dependent repositories - 7 downloads last month - 9,890 stars on GitHub - 1 maintainer