{"package":"smtlib-backends","ecosystem":"hackage","exists":true,"latest_version":"0.4","repository":"","license":"MIT","description":"Low-level functions for SMT-LIB-based interaction with SMT solvers.","downloads_weekly":9,"deprecated":false,"health":{"score":56},"_cache":"db_only_bot","_partial":true,"_response_ms":0,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}