GitHub repository: pohmann/automatark
Primary language: Java
Description: Benchmark problems for different models of automata, transducers, and related logics