I am looking for software for a client, that will allow them to graph large and complex logical trees.
It would need to be able to have it so you can specify some boolean and numerical variables, and then in the diagram, in order to get from one node to the next the conditions would have to be specified and met, or rather it would travel the path of the conditions that are met.
Another great feature would be that you can specify values for all the variables, and watch the diagram run.
Finally if the diagram could optimize itself logically that would be even better.