ThreadHIP's Terms of Usage

ThreadHIP 1.0 software release is freely available for academic and non-commercial use.
For third party software, their original usage/licensing requirements apply.

Latest ThreadHIP's bundle [Download for 64-bit (~80MB)]
The "tar" file distributed contains ThreadHIP, ParaHIP, experimental programs, and a brief manual for their usage. The bundle contains instructions for installing third party provers such as Redlog. The bundle also contains for your convenience executables for third party provers, Omega calculator, Mona and Z3 provers.

Technical Report

ThreadHIP's Description