murphi2murphi(1) on Linux
The text d7c843b00812, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
preprocessor for Murphi models
Flags it lists
-
--decompose-complex-comparisons -
--explicit-semicolons -
--output -
--remove-liveness -
--switch-to-if -
--to-ascii -
--version -
-o