{"package":"z3-solver","ecosystem":"pypi","exists":true,"latest_version":"4.16.0.0","repository":"https://github.com/Z3Prover/z3","license":"MIT License","description":"an efficient SMT solver library","downloads_weekly":1272449,"deprecated":false,"health":{"score":84},"_cache":"db_only_bot","_partial":true,"_response_ms":4745,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"safe"}}