DiffEliminator

Regex2Aut

debug

OFlags

decodeToTerm

OstrichStringSort

dependencies

OstrichStringTheory

duplicate

PrioAutomatonBuilder