Is expressions-z3 safe to use?

expressions-z3 has no known vulnerabilities on the latest version (0.5). DepScope rates its health at 36/100 (critical risk).

What is the latest version of expressions-z3?

The latest version of expressions-z3 is 0.5, released 2019-04-30.

No known vulnerabilities on the latest version of expressions-z3.

No, expressions-z3 is actively maintained. Latest release: 0.5 (2019-04-30).

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

expressions-z3 is licensed under BSD-3-Clause.

hackagev0.5

Encode and Decode expressions from Z3 ASTs

License BSD-3-Clausepermissive11 versions1 maintainers0 deps

/ 100

Health

use with caution

[email protected] low health (36/100) — consider alternatives

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

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

Last updated · 2019-04-30T21:47:13.18122044Z