projects / Benchmarks_CSolver.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
removing SATPlan and adding conda and sypet
[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / hanoi / Domains-Planning-Domain-Definition-Language
diff --git a/satPlan2006/include/Examples/hanoi/Domains-Planning-Domain-Definition-Language b/satPlan2006/include/Examples/hanoi/Domains-Planning-Domain-Definition-Language
deleted file mode 160000 (submodule)
index 9b5ce0d..0000000
--- a/satPlan2006/include/Examples/hanoi/Domains-Planning-Domain-Definition-Language
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 9b5ce0d8c04239e446931703bd6019762fee3f92
Unnamed repository; edit this file 'description' to name the repository.