LTSGRAPH(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

🎀 NAME 🎀

Okay bestie, this is the manual page for LTSGraph, living in section 1 — the User Commands shelf of the mCRL2 toolset. It’s the tool that lets you visualise an LTS as a graph and manipulate its layout in 2D and 3D. Graph-glow-up energy, fr fr. ✨

🌸 SYNOPSIS 🌸

LTSGraph [OPTION]... [INFILE]

✨ DESCRIPTION ✨

It’s a tool for visualizing a labelled transition system as a graph, and for optimizing graph layout. The way that layout gets optimized? Obsessed. 💅

When INFILE is -, an LTS is read from standard input. Standard input is literally the main character in that moment, iykyk. 🫶

💅 OPTIONS 💅

OPTION can be any of the following, bestie:

  • --timings[=FILE] — append timing measurements to FILE. Measurements are written to standard error if no FILE is provided.

Standard options:

  • -q, --quiet — do not display warning messages.
  • -v, --verbose — display short log messages.
  • -d, --debug — display detailed log messages.
  • --log-level=LEVEL — display log messages up to and including level; either warn, verbose, debug or trace.
  • -h, --help — display help information.
  • --version — display version information.
  • --help-all — display help information, including hidden and experimental options.

🫶 AUTHOR 🫶

Written by Rimco Boudewijns and Sjoerd Cranen. Icons, honestly. 👑

🐛 REPORTING BUGS 🐛

Report bugs at <http://www.mcrl2.org/issuetracker>. Do not suffer in silence, bestie — tell the maintainers. 🙈

Copyright © 2025 Technische Universiteit Eindhoven.

This is free software. You may redistribute copies of it under the terms of the Boost Software License <http://www.boost.org/LICENSE_1_0.txt>.

There is NO WARRANTY, to the extent permitted by law. Like, none. Zero. Nada. 💀

🔎 SEE ALSO 🔎

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/LTSGraph.html>. Go read the lore. 📚✨

Byeee bestie! This page came from the mCRL2 toolset, version 202507...., dated October 2026. Slay. 💖🎀

📦 where this page comes from