murphi2uclid(1) on Linux
The text eea8df86f36a, as Debian 12 (Bookworm) shipped it.
translate a Murphi model to Uclid5
Flags it lists
-
--help -
--module -
--numeric-type -
--output -
--quiet -
--verbose -
--version -
-? -
-m -
-n -
-o -
-q -
-v