Top 5.1% downloads on npmjs.org
Top 8.8% dependent packages on npmjs.org
Top 2.3% dependent repos on npmjs.org
Top 1.0% forks on npmjs.org
Top 1.3% docker downloads on npmjs.org
npmjs.org : z3-solver
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).
Registry
-
Source
- Homepage
- JSON
purl: pkg:npm/z3-solver
Keywords:
Z3
, theorem
, prover
, solver
, satisfiability
, smt
, satisfiability modulo theories
License: MIT
Latest release: 28 days ago
First release: over 3 years ago
Dependent packages: 2
Dependent repositories: 31
Downloads: 26,193 last month
Stars: 10,132 on GitHub
Forks: 1,464 on GitHub
Docker dependents: 6
Docker downloads: 589
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: 3 days ago