r2smt-slicer v0.1.0 — Branch collector and (forthcoming) backward slicer for r2SMT.

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