r2smt-report v0.1.0 — Renderers (JSON, Markdown, r2 script) for r2SMT Findings.

Sign in to join the discussion — your thebay.events account works here.