pysmt

condav0.9.5

A library for SMT formulae manipulation and solving

License Apache-2.0permissive2 versions1 maintainers0 deps31 weekly dl
pysmt/pysmt
44
/ 100
Health
safe to use

[email protected] is safe to use (health: 44/100)

Health breakdown0 – 100
5/25
maintenance
0/20
popularity
25/25
security
9/15
maturity
5/15
community
Vulnerabilities
0
none known
⚠ Possible typosquat
Name is close to a popular package. Targets:
pyjwt (adjacent_swap_or_double dist 2)pyzmq (adjacent_swap_or_double dist 2)pyqt (close_name dist 2)

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/conda/pysmt

First published · 2022-04-11 12:15:25.484000+00:00

Last updated · 2025-04-22 14:58:15.018000+00:00