二項関係をグラフ化してくれるソフトはありますか？
A>B,B>C
などの関係をたくさん与えていくと、綺麗な(枝やノードが重ならない&推移律が成り立っている場合は無駄な枝を消すなど)
グラフを出力してくれるようなソフトです。