MCRL2-GUI(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💅 mcrl2-gui — mCRL2, but make it a GUI ✨

okay so bestie, welcome to mcrl2-gui, from the User Commands manual (section 1, obviously — sections are a thing, iykyk). this is the page where you learn how to launch the graphical front-end for the mCRL2 toolset. yes, a window. with buttons. we love to see it 💖

🌸 NAME 🌸

mcrl2-gui — the graphical front-end for mCRL2 tools. she's the app, the icon, the whole vibe.

✨ SYNOPSIS ✨

mcrl2-gui [OPTION]...

that's it. that's the whole summoning ritual. drop the command, sprinkle whatever OPTIONs you're feeling, and go 🫶

🦋 DESCRIPTION 🦋

A graphical front-end for mCRL2 tools. that's the official tea. it's the friendly little window that sits on top of all those command-line mCRL2 goodies so you don't have to type everything by hand. main character energy, honestly 👑

🎀 OPTIONS 🎀

OPTION can be any of the following — pick your faves, mix and match, no cap:

  • --timings[=FILE] — appends timing measurements to FILE. and if you don't hand her a FILE? she writes those measurements to standard error instead. lowkey handy for clocking how long stuff takes ⏱️

⭐ Standard options ⭐

the classics. the staples. the ones you'll actually reach for:

  • -q, --quiet — do not display warning messages. she'll keep her thoughts to herself 🤐
  • -v, --verbose — display short log messages. a little commentary, as a treat 🗣️
  • -d, --debug — display detailed log messages. full detective mode, everything's on the table 🔍
  • --log-level=LEVEL — display log messages up to and including LEVEL; LEVEL is either warn, verbose, debug or trace. literally just dial in how chatty you want her 🎚️
  • -h, --help — display help information. the "bestie explain" button 💁‍♀️
  • --version — display version information. who dis 🪞
  • --help-all — display help information, including hidden and experimental options. ooh, the secret menu 🙈✨
ngl, that last one is the fun one. hidden and experimental? that's the vip section.

💜 AUTHOR 💜

Written by Rimco Boudewijns. give the icon their flowers 💐

🍓 REPORTING BUGS 🍓

Report bugs at <http://www.mcrl2.org/issuetracker>. found a gremlin in the code? send it there, don't suffer in silence 😭

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>.

and fr fr: There is NO WARRANTY, to the extent permitted by law. like, none. zero. don't come for them if it goes sideways 💀

🧚 SEE ALSO 🧚

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/mcrl2-gui.html>. more reading, more lore, go treat yourself 📖

okay that's the whole page, bestie 🫶 this was mcrl2-gui from the mCRL2 toolset (version string 202507..., the October 2026 edition, cute), filed under MCRL2-GUI(1). now go open that GUI and slay 💅✨🌸

📦 where this page comes from