{"package":"pycryptosat","ecosystem":"pypi","exists":true,"latest_version":"5.14.4","repository":"","license":"MIT","description":"Bindings to CryptoMiniSat, an advanced SAT solver","downloads_weekly":8839,"deprecated":false,"health":{"score":63},"_cache":"db_only_bot","_partial":true,"_response_ms":1,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}