Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
nuget.org : z3-20190104
Z3 is a satisfiability modulo theories solver from Microsoft Research.
Registry
- Homepage
- JSON
purl: pkg:nuget/z3-20190104
Keywords: smt, constraint, solver, theorem, prover
License: MIT
Latest release: over 5 years ago
First release: over 5 years ago
Downloads: 1,374 total
Stars: 9,735 on GitHub
Forks: 1,437 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: 24 days ago