PyPI · pypi.org

pysmt

Py Import Time Subprocess: subprocess call — process spawning.

Why PkgRadar flagged 0.9.7.dev390

Severity	Signal	Evidence
medium	Py Import Time Subprocess	subprocess call — process spawning. · pysmt-0.9.7.dev390/pysmt/__init__.py

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`0.9.7.dev390`	Review	16	2026-06-04

Block this in CI

PkgRadar gates pysmt (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem pypi pysmt==0.9.7.dev390