Getting Murphi

You can download Murphi source code, documentation and examples from the Murphi homepage here.

Problems have been reported with running the official version of Murphi on various systems. If it does not run properly on your machine try with this slightly modified version.

Running Murphi