プログラム graph-tools.sf.net

グラフを表現および操作するための共通 Lisp ライブラリ。実装されたアルゴリズム:サブグラフ同型(ウルマン)、自己型、正規化(Nauty)、コネクテッドコンポーネント/ユニオン検索。