- graphillion - 莫大な数の部分 グラフを扱う Python ライブラリ -- http://www.logopt.com/download/graph.pdf * 関連 [#rel] - [[ZDD]] - [[Python]]