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.

  • Are you looking for Petri Net tools? Apr 1 '14 at 15:09
  • a) A solution must be available for Windows and OS X? Or is one of them sufficient? b) Does it have to be a web app, or can it a be a web app and/or a local client, or is it required to be both?
    – unor
    Sep 15 '14 at 12:44

Provided input can be accepted in a text file, then Graphviz seems to fit your needs as written, and there is a Windows MSI for the current stable version, and you can either download .pkg files or brew install graphviz on Mac OSX.

Key points:

  • Layout of graphs is logically optimised.

  • No GUI, the interface is command-line processing of data files. This may or may not be a problem, you don't say in the question.

  • You cannot "watch the diagram run", but you have specified this is a nice-to-have.


For this type of issues I recommend yEd. It uses graphml as storage format, runs on most platforms, does a nice job optimizing layout and works for extremely large graphs.

Youtube video yEd Graph Editor in 90 seconds .

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.