austen-darcy v0.0.1 — Solver-backed generator engine for Austen that repairs sampled inputs against specification constraints with MaxSMT

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