Программы graph-tools.sf.net

Библиотека Common Lisp для представления и манипулирования графиками. Реализованные алгоритмы: субграфный изоморфизм (Ульман), автоморфизм, канонизация (Nauty), связанные компоненты/союз-находка.