mcrl22lps(1) on Linux
The text 1ea88abe454e, as Debian 10 (Buster) shipped it. The page shows this text now.
translate an mCRL2 specification to an LPS
Flags it lists
-
--binary -
--check-only -
--cluster -
--debug -
--delta -
--help -
--lin-method -
--log-level -
--newstate -
--no-alpha -
--no-cluster -
--no-constelm -
--no-deltaelm -
--no-globvars -
--no-rewrite -
--no-sumelm -
--qlimit -
--quiet -
--rewriter -
--statenames -
--timed -
--timings -
--verbose -
--version -
-D -
-Q -
-T -
-a -
-b -
-c -
-d -
-e -
-f -
-g -
-h -
-l -
-m -
-n -
-o -
-q -
-r -
-v -
-w -
-z