Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages

properties → transform Relation

File in alib2algo/src/automaton/propertiesIncludes file in alib2algo/src/automaton/transform
SynchronizingWordExistence.hAutomataIntersectionCartesianProduct.h