ryu-reasoning v0.1.13 — Automated reasoning checks for Ryu: a from-scratch decision procedure (finite-domain enumeration over booleans/enums + Fourier–Motzkin over linear rational arithmetic, with bra

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