This version of Murphi (namely CMurphi 3.4.64bits) is able to overcome the limitation of the hash compaction implementation of CMurphi 3.1, thus working also on 64-bit hardware. Moreover, disk swapping mechanism for the BF consumption queue may be used. This is still an alpha-version.

CMurphi.64bits 3.4 can be downloaded from here (.tgz).