Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 5.9% dependent packages on npmjs.org

npmjs.org : @educorvi/smtlib

A Javascript wrapper with a Z3-ish API for SMT-LIB 2.6, the language of Satisfiability Modulo Theories solvers

Registry - Source - JSON
purl: pkg:npm/%40educorvi/smtlib
Keywords: rules, typescript
License: MIT
Latest release: 6 months ago
First release: about 2 years ago
Namespace: educorvi
Dependent packages: 3
Dependent repositories: 1
Downloads: 3 last month
Stars: 2 on GitHub
Forks: 1 on GitHub
Total Commits: 292
Committers: 5
Average commits per author: 58.4
Development Distribution Score (DDS): 0.281
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 28 days ago

    Loading...
    Readme
    Loading...