Is smtlib-backends-z3 safe to use?

smtlib-backends-z3 has no known vulnerabilities on the latest version (0.3.1). DepScope rates its health at 50/100 (high risk).

What is the latest version of smtlib-backends-z3?

The latest version of smtlib-backends-z3 is 0.3.1, released 2026-03-04.

No known vulnerabilities on the latest version of smtlib-backends-z3.

No, smtlib-backends-z3 is actively maintained. Latest release: 0.3.1 (2026-03-04).

DepScope has no curated alternatives for smtlib-backends-z3 at this time.

smtlib-backends-z3 is licensed under MIT.

hackagev0.3.1

An SMT-LIB backend implemented using Z3's C API.

License MITpermissive3 versions1 maintainers0 deps

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

3/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/smtlib-backends-z3

Last updated · 2026-03-04T13:23:29.380768098Z