{"package":"python-sat","ecosystem":"pypi","latest_version":"1.9.dev2","description":"A Python library for prototyping with SAT oracles","license":"MIT","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://github.com/pysathq/pysat","repository":"https://github.com/pysathq/pysat","downloads_weekly":29463,"health":{"score":72,"risk":"moderate","breakdown":{"maintenance":20,"popularity":10,"security":25,"maturity":15,"community":2},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"1.9.dev2","total_count":176,"recent":["1.8.dev13","1.8.dev14","1.8.dev15","1.8.dev16","1.8.dev17","1.8.dev18","1.8.dev19","1.8.dev20","1.8.dev21","1.8.dev22","1.8.dev23","1.8.dev24","1.8.dev25","1.8.dev26","1.8.dev27","1.8.dev28","1.8.dev29","1.8.dev30","1.9.dev1","1.9.dev2"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2026-03-05T07:33:55.368710Z","dependencies_count":6,"dependencies":["six","py-aiger-cnf>=2.0.0; extra == \"aiger\"","pyapproxmc>=4.1.8; extra == \"approxmc\"","pycryptosat>=5.11.18; extra == \"cryptosat\"","pypblib>=0.0.3; extra == \"pblib\"","pyunigen>=4.1.20; extra == \"unigen\""]},"github_stats":null,"bundle":null,"typescript":null,"known_issues":{"bugs_count":0,"bugs_severity":{},"status_breakdown":{},"link":null,"scope":"none"},"historical_compromise":null,"recommendation":{"action":"safe_to_use","issues":[],"use_version":"1.9.dev2","version_hint":null,"summary":"python-sat@1.9.dev2 is safe to use (health: 72/100)"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":917,"_powered_by":"depscope.dev — free package intelligence for AI agents","typosquat":{"is_suspected":false},"maintainer_trust":{"available":false},"malicious":{"is_malicious":false},"scorecard":{"available":false},"quality":{"available":false},"version_history_summary":{"total_versions":20,"first_release_age_days":null,"last_release_days_ago":56,"avg_days_between_releases":null,"release_velocity":"active"}}