/buchi-automata-benchmark

A collection of Büchi automata for language inclusion benchmarking

Primary LanguageRich Text Format

Watchers