DomJudge for Classroom Version

Hi Everyone- One of our Instructors would like to have a DomJudge version that was more suitable for Education environment (Classroom branch version?). He read that such version was available some years ago but I could not find a link to download. Is this version still available and if it is what is the link to download? Thank you!! Francisco