{"package":"yices-solver","ecosystem":"pypi","exists":true,"latest_version":"2.6.5.post24","repository":"","license":"GNU GENERAL PUBLIC LICENSE\n                               Version 3, 29 June 2007\n        \n         ","description":"Platform-tagged wheels bundling the Yices 2 SMT solver (CLI + shared library)","downloads_weekly":5235,"deprecated":false,"health":{"score":44},"_cache":"db_only_bot","_partial":true,"_response_ms":1,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}