Is Pyboolector Safe?

Pyboolector — Nerq Trust Score 66.0/100 (B- grade). Score based on 2 independent trust signals. Last analyzed: 2026-07-22

Pyboolector is a Python package with a Nerq Trust Score of 66.0/100 (B-), based on 3 independent data dimensions. Last analyzed: 2026-07-22 Security: 90/100. Popularity: 60/100. Data sourced from PyPI registry, GitHub repository, NVD, OSV.dev, and OpenSSF Scorecard. Last updated: 2026-07-22. Machine-readable data (JSON).

Pyboolector Across Platforms

Same developer/company in other registries:

Safety Guide: Pyboolector

What is Pyboolector?

Pyboolector is a Python package — Python wrapper around the Boolector SMT solver.

How to Verify Safety

Run pip audit or safety check. Review on PyPI for download stats.

You can also check the trust score via API: GET /v1/preflight?target=pyboolector

Key Safety Concerns for Python package

When evaluating any Python package, watch for: dependency vulnerabilities, malicious uploads, maintenance status.

Measured Signals

Pyboolector has a Nerq Trust Score of 66/100 (B-). This score is a composite of automated measurements of security, maintenance, community, and quality signals.

Key Takeaways

• Pyboolector has a Trust Score of 66/100 (B-).
• The score is a measured composite — it is not a suitability judgment. Evaluate the individual signals against your own requirements.
• Query the current measured values via the Nerq API.

Disclaimer: Nerq trust scores are automated measurements based on publicly available signals. They are not endorsements, verdicts, or guarantees of suitability. Always evaluate the signals against your own requirements.