{"package":"pyboolector","ecosystem":"pypi","latest_version":"3.2.4.19342042739","description":"Python wrapper around the Boolector SMT solver","license":"MIT","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://github.com/boolector/boolector","repository":"https://github.com/boolector/boolector","downloads_weekly":0,"health":{"score":55,"risk":"high","breakdown":{"maintenance":15,"popularity":0,"security":25,"maturity":15,"community":0},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"3.2.4.19342042739","total_count":114,"recent":["3.2.2.20230105.5","3.2.2.20230110.1","3.2.2.20230110.2","3.2.2.20230110.4","3.2.2.20230911.3","3.2.2.350174618","3.2.2.350174922","3.2.3.20230911.5","3.2.3.20230913.1","3.2.3.20231101.1","3.2.3.20231106.1","3.2.3.20240215.1","3.2.3.20240305.1","3.2.3.20240822.1","3.2.3.20240822.20","3.2.4.19","3.2.4.20240823.1","3.2.4.19199565967","3.2.4.19199673826","3.2.4.19342042739"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":0,"first_published":null,"last_published":"2025-11-13T18:38:49.464649Z","dependencies_count":0,"dependencies":[]},"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":"3.2.4.19342042739","version_hint":null,"summary":"pyboolector@3.2.4.19342042739 is safe to use (health: 55/100)"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":794,"_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":169,"avg_days_between_releases":null,"release_velocity":"moderate"}}