murphi2xml(1) on Linux
The text 0b81a5d23e54, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
Print the abstract syntax tree of a parsed Murphi model
Flags it lists
-
--help -
--output -
--version -
-? -
-o