Revision as of 12:00, 6 January 2024 by Michael Leuschel(talk | contribs)(Created page with "You can visualise the state of an individual B, Z, TLA+ or Alloy model using custom graph definitions which are laid out using GraphViz. Thereby it is possible to specify general graph attributes, the nodes and the edges of the graph.")