Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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: 3 months ago
First release: 3 months ago
Downloads: 54 last month
Stars: 9,861 on GitHub
Forks: 1,448 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: about 10 hours ago