Last released Dec 22, 2025
Superoptimizer for tiny finite state machines over bit inputs
Supported by