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

simplify → properties Relation

File in alib2str/src/grammar/simplifyIncludes file in alib2str/src/grammar/properties
MakeFITDefinition.hIsFITDefinition.h