GitHub repository: zuodap47/eve-oink
Created: 2025-03-22T15:34:55Z
Description: Faster parity game solver for faster rational verification (Integrating oink into EVEE)