The following solvers should be put in a directory "c:\tools" on your PC
The himap executable can be in your desktop or in the same directory. You can create a shortcut on your desktop.
The Manual for Fault Tree and Markov Chain Editor (in gzipped postscript format) can be downloaded using the following links.
More help files