Вопрос к студентам

Добрый день, вопрос по програмам для обработки графов, может быть есть у кого?
Интересует следующее:
1) Граф задан матрицей смежности
2) Пользователь сам забивает граф, вершины/дуги/вес дуг и т.д.
И по этим данным интересует поиск следующих вещей:
1) минимальные внешне устойчивые подмножества графа
2) максимальные внутрене устойчивые подножества
3) максимальные паросочетания
4) подсчет прадеревьев графа и их построение
Несколько дней непрерывного использования гугла в результате выдали прогарммы только для поиска эйлеровых/гамильтоновых путей и клик в графах
Если кто-нибудь сталкивался с таким софтом и сохранилась ссылка буду безгранично благодарен
Прошу сильно не минусовать, внутри 2 коммента для минусов