GitHub repository: parof/buchi-automata-benchmark
Primary language: Rich Text Format
Created: 2021-04-26T16:00:31Z
Description: A collection of Büchi automata for language inclusion benchmarking