BESSOLVE(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

✨ NAME ✨

Okay so bestie, this is bessolve — that's BESSOLVE(1) from the User Commands section — and its whole main-character job is literally to solve a BES. Periodt. 💅

bessolve — solve a BES.

✨ SYNOPSIS ✨

bessolve [OPTION]... [INFILE]

🌸 DESCRIPTION 🌸

Solve the BES in INFILE. If INFILE is not present, stdin is used. No cap, that's the whole vibe. 🦋

💖 OPTIONS 💖

OPTION can be any of the following, bestie 👇

  • -iFORMAT, --in=FORMAT — use input format FORMAT: 'pbes' is PBES in internal format (default), 'pgsolver' is BES in PGSolver format, and 'text' is PBES in textual (mCRL2) format. Pick your fighter. ✨
  • -sSTRATEGY, --strategy=STRATEGY — solve the BES using the specified STRATEGY: 'spm' is Small progress measures (default), and 'gauss' is Gauss elimination (inefficient; plain implementation). Heads up, that Gauss one is literally inefficient and just the plain implementation — vibe check before you reach for it. 😭
  • --timings[=FILE] — append timing measurements to FILE. Measurements are written to standard error if no FILE is provided. Very "track the lore" of your run. 🎀
  • -q, --quiet — do not display warning messages. Peace and quiet, iconic. 🤫
  • -v, --verbose — display short log messages. Little updates, love that. 🌈
  • -d, --debug — display detailed log messages. Full detective mode, ngl. 🔍
  • --log-level=LEVEL — display log messages up to and including LEVEL; either warn, verbose, debug or trace. Choose your level of yapping. 💬
  • -h, --help — display help information. Always a slay. 🫶
  • --version — display version information. Show me the numbers. 🔥
  • --help-all — display help information, including hidden and experimental options. Secret menu energy, iykyk. 👑

🌈 Standard options 🌈

These are the standard-issue besties, fr fr 💜

  • -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 Jeroen Keiren. Shoutout to the author, bestie! 💖

🐛 REPORTING BUGS 🐛

Report bugs at <http://www.mcrl2.org/issuetracker>. Do not suffer in silence, okay? 😭

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, literally no warranty — important caveat, bestie. 💀

🌟 SEE ALSO 🌟

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

💖 That's the whole manual, bestie — source/version bessolve mCRL2 toolset 202507...., dated October 2026. Mwah! 💖

📦 where this page comes from