Is easy-smt safe to use?

easy-smt has no known vulnerabilities on the latest version (0.3.2). DepScope rates its health at 58/100 (high risk).

What is the latest version of easy-smt?

The latest version of easy-smt is 0.3.2, released 2025-07-24.

No known vulnerabilities on the latest version of easy-smt.

No, easy-smt is actively maintained. Latest release: 0.3.2 (2025-07-24).

Popular alternatives to easy-smt in Cargo include: hashbrown, getrandom, windows-sys, syn.

easy-smt is licensed under MIT OR Apache-2.0.

cargov0.3.2

Easily interact with an smt solver as a subprocess

License MIT OR Apache-2.0permissive15 versions0 deps163,409 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

10/25

maintenance

14/20

popularity

25/25

security

9/15

maturity

0/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/cargo/easy-smt