The Windows Installer for HOL

System requirements:
Windows NT, Windows 2000, Windows XP, Windows Vista, or Windows 7. In addition to the space required to store the installer executable (25MB), you will need approximately 180 MB of disk-space.
Using the installer:
Acknowledgements:
The self-installing executable was created with the freely available, and highly recommended, InnoSetup tool.

Unicode, UTF-8 and HOL4 on Windows

If you run HOL4 in the standard “MS-DOS” command.com shell, or don’t have good enough fonts, lots of HOL output will look like gibberish. In this situation you will probably want to turn Unicode printing off when you run HOL. Use

       set_trace "Unicode" 0;

to do this. (See this FAQ question.)

Use of minisat SAT solver

On some Windows systems, the automatic use of the minisat solver causes serious slowdowns as hol starts up. For this reason, it has been disabled by default in the self-installing executable. It can be re-enabled by renaming the file src/HolSat/sat_solvers/minisat/minisat.tmp.exe to src/HolSat/sat_solvers/minisat/minisat.exe.


Download the installer


Time-stamp: "Thursday, 11 October 2012; 22:27 UTC (Michael Norrish)"