proptest-z3 v0.1.0 — Generate test inputs with name dependencies for proptest: build the skeleton with strategies, solve the relations with z3

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