aboutsummaryrefslogtreecommitdiff
path: root/test/uk/ac/ox/cs/hermit
ModeNameSize
-rw-r--r--HermitQueryReasoner.java8715logplainblame
-rw-r--r--HermitTester.java1981logplainblame
-rw-r--r--JAIR_HermiT.java5024logplainblame