@yowasp/boolector

ISCLicense declared in the package manifest.

boolector Satisfiability Modulo Theories (SMT) solver

100

Security score

0 known advisories in v3.2.3-6.30

0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.advisory penalty −0 · staleness penalty −0

Weekly downloads

Downloads across all versions in the last 7 days, from the official npm downloads API (api.npmjs.org).

—

Unpacked size

Size of v3.2.3-6.30 on disk after npm install extracts the tarball, as reported by the npm registry.

1.3 MB

Dependencies

Direct runtime dependencies declared by v3.2.3-6.30. Transitive dependencies are not counted here — use the lockfile audit for the full tree.

0

Last publish

When v3.2.3-6.30 was published to the registry. Long gaps can indicate an unmaintained package.

6 months ago

Security advisories

Vulnerabilities affecting v3.2.3-6.30 specifically, from OSV.dev — the open database aggregating the GitHub Advisory Database (GHSA) and CVEs. Links open the full advisory.

No known vulnerabilities affect v3.2.3-6.30.