{"package":"btor2-opt","ecosystem":"pypi","exists":true,"latest_version":"0.3.0","repository":"","license":"GPL-3.0","description":"Very basic btor2 parser, circuit miter, and code optimizer.","downloads_weekly":19,"deprecated":false,"health":{"score":41},"_cache":"db_only_bot","_partial":true,"_response_ms":0,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}