Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
spack.io : py-z3-solver
Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license.
Registry
-
Source
- JSON
purl: pkg:spack/py-z3-solver
License: Other
Latest release: 6 months ago
First release: 6 months ago
Dependent packages: 1
Stars: 9,252 on GitHub
Forks: 1,431 on GitHub
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 7 hours ago