{"package":"pysmt","ecosystem":"pypi","latest_version":"0.9.6","description":"A solver-agnostic library for SMT Formulae manipulation and solving","license":"APACHE","license_risk":"unknown","commercial_use_notes":"verify manually — license not parseable / not declared.","homepage":"http://www.pysmt.org","repository":"","downloads_weekly":10033,"health":{"score":57,"risk":"high","breakdown":{"maintenance":5,"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":"0.9.6","total_count":95,"recent":["0.9.6.dev48","0.9.6.dev53","0.9.6.dev57","0.9.6.dev65","0.9.6","0.9.7.dev101","0.9.7.dev104","0.9.7.dev105","0.9.7.dev108","0.9.7.dev112","0.9.7.dev120","0.9.7.dev129","0.9.7.dev132","0.9.7.dev135","0.9.7.dev139","0.9.7.dev333","0.9.7.dev337","0.9.7.dev346","0.9.7.dev354","0.9.7.dev356"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2024-06-24T19:01:55.204059Z","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":"0.9.6","version_hint":null,"summary":"pysmt@0.9.6 is safe to use (health: 57/100)"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":705,"_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":674,"avg_days_between_releases":null,"release_velocity":"stale"}}