I want to use ConTest C/C++ version. I saw the message "A C/Pthread/Linux version is available with accompanying education." from http://www.haifa.ibm.com/projects/verification/contest/index.html page.
Please let me know how I could get the version and taking education.