{"package":"deal-solver","ecosystem":"pypi","exists":true,"latest_version":"0.1.2","repository":"https://github.com/life4/deal-solver","license":"MIT","description":"z3-powered solver (theorem prover) for deal.","downloads_weekly":402,"deprecated":false,"health":{"score":30},"_cache":"db_only_bot","_partial":true,"_response_ms":1,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"avoid"}}