GitHub - OOjDREW/OOjDREW: OO jDREW: the object oriented extension of the Java Deductive Reasoning Engine for the Web (jDREW)

Name		Name	Last commit message	Last commit date
repo/edu/berkeley/ptolemy/ptolemy/9999		repo/edu/berkeley/ptolemy/ptolemy/9999
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README		README
pom.xml		pom.xml

Repository files navigation

For downloads, see http://jdrew.org/oojdrew/download.html

OO jDREW: the object oriented extension of the Java Deductive Reasoning Engine for the Web (jDREW)

15 stars

3 watching