{"package":"aiutare-finnbarroc","ecosystem":"pypi","exists":true,"latest_version":"0.0.1","repository":"https://github.com/FedericoAureliano/aiutare","license":"MIT","description":"A benchmarking framework for SAT, SMT, and equivalence checking programs.","downloads_weekly":19,"deprecated":false,"health":{"score":25},"_cache":"db_only_bot","_partial":true,"_response_ms":1,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"avoid"}}