murphi2c(1) on Linux
The text 2ac7cdc03f36, as Debian 13 (Trixie) shipped it. The page shows this text now.
translate a Murphi model to C for simulation
Flags it lists
-
--header -
--output -
--source -
--value-type -
--version -
-o