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

simplify → alib2abstraction Relation

File in alib2algo/src/rte/simplifyIncludes file in alib2abstraction
RTEOptimize.cppsrc / registration / AlgoRegistration.hpp