removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / logistics-typed-length / prob006-log-c.pddl

diff --git a/satPlan2006/include/Examples/logistics-typed-length/prob006-log-c.pddl b/satPlan2006/include/Examples/logistics-typed-length/prob006-log-c.pddl
deleted file mode 100644 (file)
index 7cd6a85..0000000
--- a/satPlan2006/include/Examples/logistics-typed-length/prob006-log-c.pddl
+++ /dev/null
@@ -1,82 +0,0 @@
-;; original name logistics.c\r
-;; (:length (:parallel 13))\r
-;; optimal\r
-;; #actions 63 #states 10^10\r
-;;\r
-\r
-(define (problem log006)\r
-    (:domain logistics-typed)\r
-    (:length (:parallel 13))\r
-    (:objects\r
-        package1 - PACKAGE\r
-        package2 - PACKAGE\r
-        package3 - PACKAGE\r
-        package4 - PACKAGE\r
-        package5 - PACKAGE\r
-        package6 - PACKAGE\r
-        package7 - PACKAGE\r
-\r
-        airplane1 - AIRPLANE\r
-        airplane2 - AIRPLANE\r
-\r
-        pgh - CITY\r
-        bos - CITY\r
-        la - CITY\r
-        ny - CITY\r
-\r
-        pgh-truck - TRUCK\r
-        bos-truck - TRUCK\r
-        la-truck - TRUCK\r
-        ny-truck - TRUCK\r
-\r
-        pgh-po - LOCATION\r
-        bos-po - LOCATION\r
-        la-po - LOCATION\r
-        ny-po - LOCATION\r
-\r
-        pgh-airport - (either LOCATION AIRPORT)\r
-        bos-airport - (either LOCATION AIRPORT)\r
-        la-airport - (either LOCATION AIRPORT)\r
-        ny-airport - (either LOCATION AIRPORT)\r
-    )\r
-    (:init\r
-\r
-        (in-city pgh-po pgh)\r
-        (in-city pgh-airport pgh)\r
-\r
-        (in-city bos-po bos)\r
-        (in-city bos-airport bos)\r
-\r
-        (in-city la-po la)\r
-        (in-city la-airport la)\r
-\r
-        (in-city ny-po ny)\r
-        (in-city ny-airport ny)\r
-\r
-        (at package1 pgh-po)\r
-        (at package2 pgh-po)\r
-        (at package3 pgh-po)\r
-        (at package4 ny-po)\r
-        (at package5 bos-po)\r
-        (at package6 bos-po)\r
-        (at package7 ny-po)\r
-\r
-        (at airplane1 pgh-airport)\r
-        (at airplane2 pgh-airport)\r
-\r
-        (at bos-truck bos-po)\r
-        (at pgh-truck pgh-po)\r
-        (at la-truck la-po)\r
-        (at ny-truck ny-po)\r
-\r
-    )\r
-    (:goal (and\r
-        (at package1 bos-po)\r
-        (at package2 ny-po)\r
-        (at package3 la-po)\r
-        (at package4 la-airport)\r
-        (at package5 pgh-po)\r
-        (at package6 ny-airport)\r
-        (at package7 pgh-po)\r
-    ))\r
-)\r