npmjs.org : dtk-z3-solver-deno
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
Keywords:
Z3
, theorem
, prover
, solver
, satisfiability
, smt
, satisfiability modulo theories
License: MIT
Status: unpublished
Latest release: over 1 year ago
First release: over 1 year ago
Downloads: 30 last month
Stars: 11,397 on GitHub
Forks: 1,560 on GitHub
Total Commits: 17017
Committers: 339
Average commits per author: 50.198
Development Distribution Score (DDS): 0.416
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago