Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 0.2% forks on nuget.org

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

    Loading...
    Readme
    Loading...