r2smt-smt v0.1.0 — Z3 backend for r2SMT — encodes SSA lifted slices and reports opaque-predicate verdicts.

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