MaxSimultaneousProduct

AutomataUtils

main

OstrichMain

makeAnyString

BricsAutomaton

makeCaseInsensitive

AutomataUtils

measure

Exploration

measureTimes

OFlags

minimize

BricsAutomatonBuilder

minimizeAutomata

OFlags