gertvv / oops Goto Github PK

Sorry to dredge up an issue, but any insight into the following inconsistency:
th = oops.Theory()
th:add("#_1 a | b |c")
th:add("#_1 ~a")
th:add("#_1 ~b")
print(th:provable("#_1 a|c"))

resolves to "true"

while substituting line 5 for
print(th:provable("#_1 c|a"))
resolves to "false"

Not sure if this is still in active dev/maintenance, but I get the following error when I run 'mvn package' in the 'application' directory. Also tried 'mvn install'
[ERROR] Failed to execute goal on project oops: Could not resolve dependencies for project nl.rug.ai.mas:oops:jar:0.6.4: Failed to collect dependencies at nl.rug.ai.mas:oops-parser:jar:0.6: Failed to read artifact descriptor for nl.rug.ai.mas:oops-parser:jar:0.6: Failure to find nl.rug.ai.mas:oops-pom:pom:0.6.4 in https://repo.maven.apache.org/maven2 was cached in the local repository, resolution will not be reattempted until the update interval of central has elapsed or updates are forced -> [Help 1]

I'm running osx 10.9.5, java 1.7.0_71, Maven 3.2.5

I'd be happy to just get a precompiled jar of this code, but I can't find where the download link is (referenced in the README).