GitHub repository: vhavlena/ranker
Primary language: C++
Description: A tool for Buchi automata complementation