murphi2c(1) on Linux
The text 633d67c7a988, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
translate a Murphi model to C for simulation
Flags it lists
-
--header -
--output -
--source -
--value-type -
--version -
-o