Added the submodule to the project.

meelgroup · Dec 14, 2023 · 41d0170 · 41d0170
1 parent 8171402
commit 41d0170
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 8 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,12 +1,10 @@
+[submodule "sharpsat-td"]
+	path = sharpsat-td
+	url = [email protected]:mahi045/sharpsat-td.git
+[submodule "ganak-asp"]
+	path = ganak-asp
+	url = [email protected]:mahi045/ganak-asp.git
 [submodule "d4"]
 	path = d4
 	url = [email protected]:meelgroup/d4.git
 	branch = asp
-[submodule "ganak-asp"]
-	path = ganak-asp
-	url = [email protected]:mahi045/ganak-asp.git
-	branch = competition-clean
-[submodule "sharpsat-td"]
-	path = sharpsat-td
-	url = [email protected]:mahi045/sharpsat-td.git
-
diff --git a/d4 b/d4
diff --git a/ganak-asp b/ganak-asp
diff --git a/sharpsat-td b/sharpsat-td