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

properties → alib2abstraction Relation

File in alib2algo/src/arbology/propertiesIncludes file in alib2abstraction
ExactSubtreeRepeatsFromSubtreeAutomaton.cppsrc / registration / AlgoRegistration.hpp