kyveli's Stars
Mazzocchi/FORKLIFT
The program FORKLIFT is an inclusion checker for Büchi automata. The input format of the automata is described here: http://languageinclusion.org/doku.php?id=tools#the_ba_format
phreppo/bait
A ω-regular language inclusion checker