/buchi-automata-benchmark

A collection of Büchi automata for language inclusion benchmarking

Primary LanguageRich Text Format

Watchers

No one’s watching this repository yet.