{"package":"what4","ecosystem":"hackage","exists":true,"latest_version":"1.7.3","repository":"https://github.com/GaloisInc/what4","license":"BSD-3-Clause","description":"Solver-agnostic symbolic values support for issuing queries","downloads_weekly":52,"deprecated":false,"health":{"score":63},"_cache":"db_only_bot","_partial":true,"_response_ms":0,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}