KRHyper Main Page

Using the Local Installation at Campus Koblenz

• To run the locally installed KRH, the command path must include these two directories:
  • /lab/ki/local/bin
  • /lab/ki/local/lib/krh/scripts

• The TPTPDirectory variable used in the example can be set to /lab/ki/systems/TPTP

• For Windows (see also the general KRHyper with Windows page):
  • krh_wrappers_for_windows.tgz
    Windows/Cygwin versions of Peter's wrapper scripts (/lab/ki/local/bin/krh-run, krh-prove etc.).
    This archive can be unpacked in a Cygwin shell with "tar xzvf krh_wrappers_for_windows.tgz". It contains a file INSTALL.TXT with installation notes.