Skip to content


Feature Preview LogicNG 2.4.0: Graphics Generators

LogicNG 2.4.0 introduces a completely rewritten graphics generation for DAGs and ASTs of formulas, BDDs, and graphs. There are two major new features:

  1. There is a new output format besides the DOT language: The markdown-like syntax of Mermaid.js. With Mermaid.js you can easily integrate the generated graphs in a web page or application and can play around with it in the interactive live editor.
  2. You can now style all nodes and edges when generating a graph. So you can now decide, what content should be in the node label, what stroke, text, and background color the nodes should have, and how the edges should be styled. This can be done by a fixed style or by dynamically styling the nodes and edges depending on their content.