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

simplify → alib2data Relation

File in alib2algo/src/rte/simplifyIncludes file in alib2data
RTEOptimize.hsrc / rte / formal / FormalRTE.h
RTEOptimize.hsrc / rte / formal / FormalRTEElements.h