running n3s

eyereasoner · Jan 11, 2025 · f179d58 · f179d58
1 parent 3e6f3fe
commit f179d58
Show file tree

Hide file tree

Showing 5 changed files with 2 additions and 2 deletions.
diff --git a/reasoning/graph-3-coloring-surface/README → reasoning/graph-3-coloring-surfaces/README b/reasoning/graph-3-coloring-surface/README → reasoning/graph-3-coloring-surfaces/README
diff --git a/...loring-surface/graph-3-coloring-answer.n3 → ...oring-surfaces/graph-3-coloring-answer.n3 b/...loring-surface/graph-3-coloring-answer.n3 → ...oring-surfaces/graph-3-coloring-answer.n3
diff --git a/...oloring-surface/graph-3-coloring-proof.n3 → ...loring-surfaces/graph-3-coloring-proof.n3 b/...oloring-surface/graph-3-coloring-proof.n3 → ...loring-surfaces/graph-3-coloring-proof.n3
diff --git a/...h-3-coloring-surface/graph-3-coloring.n3s → ...-3-coloring-surfaces/graph-3-coloring.n3s b/...h-3-coloring-surface/graph-3-coloring.n3s → ...-3-coloring-surfaces/graph-3-coloring.n3s
diff --git a/reasoning/graph-3-coloring-surface/test → reasoning/graph-3-coloring-surfaces/test b/reasoning/graph-3-coloring-surface/test → reasoning/graph-3-coloring-surfaces/test
@@ -1,3 +1,3 @@
 #!/bin/bash
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/graph-3-coloring-surface/graph-3-coloring.n3s --output graph-3-coloring-answer.n3
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. https://eyereasoner.github.io/eye/reasoning/graph-3-coloring-surface/graph-3-coloring.n3s --output graph-3-coloring-proof.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/graph-3-coloring-surfaces/graph-3-coloring.n3s --output graph-3-coloring-answer.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. https://eyereasoner.github.io/eye/reasoning/graph-3-coloring-surfaces/graph-3-coloring.n3s --output graph-3-coloring-proof.n3