Is there software for goal factoring (the CFAR technique)? I want to use it to create a directed graph, which is not necessarily a tree and may have cycles (this requirement disqualifies mind mapping software). Nodes are goals, they have attached text. There's an edge from goal x to goal y iff fulfillment of x directly contributes to fulfillment of y. There should be an easy way to see the graph and modify it, preferrably in a visual way.