{"package":"z3","ecosystem":"cargo","latest_version":"0.20.0","description":"High-level rust bindings for the Z3 SMT solver from Microsoft Research","license":"MIT","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://github.com/prove-rs/z3.rs","repository":"https://github.com/prove-rs/z3.rs.git","downloads_weekly":334500,"health":{"score":82,"risk":"low","breakdown":{"maintenance":25,"popularity":14,"security":25,"maturity":15,"community":3},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.20.0","total_count":53,"recent":["0.20.0","0.19.15","0.19.14","0.19.13","0.19.12","0.19.11","0.19.10","0.19.9","0.19.8","0.19.7","0.19.6","0.19.5","0.19.4","0.19.3","0.19.2","0.19.1","0.19.0","0.18.2","0.18.1","0.18.0"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":0,"first_published":"2015-12-28T06:23:56.693379Z","last_published":"2026-04-01T18:31:54.783585Z","dependencies_count":0,"dependencies":[]},"github_stats":{"stars":502,"forks":147,"open_issues":44,"is_archived":false,"pushed_at":"2026-04-12T17:45:53Z","subscribers_count":5},"bundle":null,"typescript":null,"known_issues":{"bugs_count":0,"bugs_severity":{},"status_breakdown":{},"link":null,"scope":"none"},"historical_compromise":null,"recommendation":{"action":"safe_to_use","issues":[],"use_version":"0.20.0","version_hint":null,"summary":"z3@0.20.0 is safe to use (health: 82/100)"},"version_scoped":null,"requested_version":null,"_cache":"hit","_response_ms":0,"_powered_by":"depscope.dev — free package intelligence for AI agents","typosquat":{"is_suspected":false},"maintainer_trust":{"available":false},"malicious":{"is_malicious":false},"scorecard":{"available":false},"quality":{"available":false},"co_used_with":[{"package":"ButtR","occurrences":3},{"package":"clap_config","occurrences":3},{"package":"async-hybrid-sleep","occurrences":3},{"package":"azure-ai-contentunderstanding","occurrences":3},{"package":"wai","occurrences":3}],"version_history_summary":{"total_versions":20,"first_release_age_days":3775,"last_release_days_ago":27,"avg_days_between_releases":199,"release_velocity":"active"}}