npmjs.org : dtk-z3-solver-deno-v2
This directory contains JavaScript code to automatically derive TypeScript bindings for the C API, which are published on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).
Registry
-
Source
- Homepage
- JSON
purl: pkg:npm/dtk-z3-solver-deno-v2
Keywords:
Z3
, theorem
, prover
, solver
, satisfiability
, smt
, satisfiability modulo theories
License: MIT
Latest release: 6 months ago
First release: over 1 year ago
Downloads: 72 last month
Stars: 10,043 on GitHub
Forks: 1,459 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