For downlaods, see https://github.com/OOjDREW/OOjDREW/downloads
OO jDREW: the object oriented extension of the Java Deductive Reasoning Engine for the Web (jDREW)