z3-src v503.1.0 — Source distribution of the Z3 SMT solver, for use as a build dependency

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