Программы bcat.sf.net

BCAT (Будапештский инструмент анализа сложности): открытая основа для исследований алгоритмической сложности