mcrl22lps(1) on Linux
The text a3f462e6671d, as Debian 7 (Wheezy) shipped it.
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 -
--quiet -
--rewriter -
--statenames -
--timed -
--timings -
--verbose -
--version -
-D -
-T -
-a -
-b -
-c -
-d -
-e -
-f -
-g -
-h -
-l -
-m -
-n -
-o -
-q -
-r -
-v -
-w -
-z