tred

有向グラフの推移的削減フィルタ。
最終更新日: 2022年9月17日: すべてのCLIツールのソースコードへのリンクを追加 (0361c44)