From 7087a6b5037aaf8403dbd469e1091feb8d545b6b Mon Sep 17 00:00:00 2001 From: Francisco Coelho Date: Wed, 3 Apr 2024 11:58:43 +0100 Subject: [PATCH] Changed KR repo --- .gitmodules | 2 +- code/asp/dneg.lp | 2 ++ text/kr24 | 2 +- 3 files changed, 4 insertions(+), 2 deletions(-) create mode 100644 code/asp/dneg.lp diff --git a/.gitmodules b/.gitmodules index 3c9d7b9..e5ee0f5 100644 --- a/.gitmodules +++ b/.gitmodules @@ -8,4 +8,4 @@ [submodule "text/kr24"] path = text/kr24 - url = https://git.overleaf.com/65f422781f1d04e2c0aefd56 \ No newline at end of file + url = git@git.xdi.uevora.pt:spa/zw-kr24.git \ No newline at end of file diff --git a/code/asp/dneg.lp b/code/asp/dneg.lp new file mode 100644 index 0000000..26517e9 --- /dev/null +++ b/code/asp/dneg.lp @@ -0,0 +1,2 @@ +a(X); -a(X) :- X = 1. +c(X) :- -a(X). \ No newline at end of file diff --git a/text/kr24 b/text/kr24 index f00aad8..b3b0f82 160000 --- a/text/kr24 +++ b/text/kr24 @@ -1 +1 @@ -Subproject commit f00aad856e453c4f9059046a34a23bf5874f2256 +Subproject commit b3b0f8233468c5b2c623dafa72ba8d0e566db303 -- libgit2 0.21.2