Is dart_z3 safe to use?

dart_z3 has no known vulnerabilities on the latest version (1.0.5). DepScope rates its health at 0/100 (critical risk).

What is the latest version of dart_z3?

The latest version of dart_z3 is 1.0.5, released 2022-10-12.

No known vulnerabilities on the latest version of dart_z3.

Yes, dart_z3 is deprecated: Discontinued

DepScope has no curated alternatives for dart_z3 at this time.

pubv1.0.5deprecated

Holds Dart-like bindings for the C api of Z3 Theorem Prover, version (4.8.17).

License MITpermissive4 versions1 deps7 weekly dl

/ 100

Health

find alternative

dart_z3 is deprecated — find an alternative

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

3/15

maturity

0/15

community

Vulnerabilities

none known

⚠ Possible typosquat

Name is close to a popular package. Targets:

dartz (close_name dist 2)

Dependencies (1)

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pub/dart_z3

Last updated · 2022-10-12T18:34:28.259040Z