LPSREWR(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💖 NAME 💖

lpsrewr — rewrite data expressions in an LPS. yup, that's the whole vibe. This is the LPSREWR(1) manual page, and bestie, we're gonna get through it together 💅

✨ SYNOPSIS ✨

okay so you run it like this:

lpsrewr [OPTION]... [INFILE [OUTFILE]]

🦋 DESCRIPTION 🦋

okay so what this icon does is rewrite the data expressions of the LPS in INFILE and save the result to OUTFILE. If OUTFILE is not present, standard output is used. If INFILE is not present, standard input is used. no cap, that's the whole flow. 🫶

🌸 OPTIONS 🌸

OPTION can be any of the following:

  • -pNAME, --lps-rewriter=NAME — use lps rewrite strategy NAME: 'simplify' for simplification (default), 'quantifier-one-point' for one point rule quantifier elimination, or 'condition-one-point' simplify summands using equalities appearing in condition. pick your fighter 💅
  • -QNUM, --qlimit=NUM — limit enumeration of universal and existential quantifiers in data expressions to NUM iterations (default NUM=10, NUM=0 for unlimited). yes bestie, zero means unlimited — iconic.
  • -rNAME, --rewriter=NAME — use rewrite strategy NAME: 'jitty' jitty rewriting (default), 'jittyc' compiled jitty rewriting, or 'jittyp' jitty rewriting with prover. the jitty multiverse is real.
  • --timings[=FILE] — append timing measurements to FILE. Measurements are written to standard error if no FILE is provided. timing tea ☕

✨ Standard options ✨

  • -q, --quiet — do not display warning messages. shhh era.
  • -v, --verbose — display short log messages.
  • -d, --debug — display detailed log messages. detective mode 🔍
  • --log-level=LEVEL — display log messages up to and including level; either warn, verbose, debug or trace.
  • -h, --help — display help information. always here for you 🫶
  • --version — display version information.
  • --help-all — display help information, including hidden and experimental options. secret menu energy ✨

👑 AUTHOR 👑

Written by Wieger Wesselink and Muck van Weerdenburg. legends, fr fr. 👑

🐛 REPORTING BUGS 🐛

Report bugs at <http://www.mcrl2.org/issuetracker>. if something's giving bug, tell the maintainers — don't suffer in silence, bestie 😭

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, legally speaking, no promises — read the license, bestie 💜

🦋 SEE ALSO 🦋

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/lpsrewr.html>. go read the lore if you're obsessed 💖

💋 that's the whole page, bestie — brought to you by lpsrewr from the mCRL2 toolset 202507.0..., dated October 2026. slay, and happy rewriting ✨🎀

📦 where this page comes from