{"package":"passagemath-kissat","ecosystem":"pypi","exists":true,"latest_version":"10.8.7","repository":"","license":"GPL-2.0-or-later","description":"passagemath: Interface to the SAT solver kissat","downloads_weekly":3244,"deprecated":false,"health":{"score":71},"_cache":"db_only_bot","_partial":true,"_response_ms":1,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"safe"}}