maria(1) on Linux
The text 5f01d0ea08f1, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch), Debian 8 (Jessie), Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it. The page shows this text now.
Modular Reachability Analyzer for high-level Petri nets
Flags it lists
-
--array-limit -
--breadth-first-search -
--compile -
--compress-hidden -
--compress-paths -
--connect -
--define -
--depth-first-search -
--edges -
--execute -
--graph -
--hashes -
--help -
--include -
--jobs -
--lossless -
--md5-compacted -
--model -
--name -
--no-compile -
--no-compress-hidden -
--no-compress-paths -
--no-name -
--no-warnings -
--probabilistic -
--property-translator -
--quantification-limit -
--radix -
--undefine -
--unfold -
--verbose -
--version -
--warnings -
--width -
-? -
-C -
-D -
-E -
-H -
-I -
-L -
-M -
-N -
-P -
-U -
-V -
-W -
-Y -
-Z -
-a -
-b -
-c -
-d -
-e -
-g -
-h -
-i -
-j -
-k -
-m -
-n -
-p -
-q -
-u -
-v -
-w -
-x -
-y -
-z