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

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: 3 months ago
First release: 3 months ago
Downloads: 30 last month
Stars: 9,540 on GitHub
Forks: 1,447 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 12 hours ago

    Loading...
    Readme
    Loading...