hermit-maven

This repository is no longer active, and has been moved to https://github.com/phillord/hermit-reasoner.

Name		Name	Last commit message	Last commit date
Latest commit History 1,116 Commits
HermiT		HermiT
examples		examples
getopt/gnu/getopt		getopt/gnu/getopt
lib		lib
src		src
test/org/semanticweb/HermiT		test/org/semanticweb/HermiT
.classpath		.classpath
.gitignore		.gitignore
.project		.project
.travis.yml		.travis.yml
README.md		README.md
build.xml		build.xml
gpl.txt		gpl.txt
lgpl-3.0.txt		lgpl-3.0.txt
nightlybuild.sh		nightlybuild.sh
readme.txt		readme.txt
rmOldNightlyBuilds.sh		rmOldNightlyBuilds.sh
tasks.txt		tasks.txt
update.properties		update.properties

Provide feedback