removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / logistics-strips / prob009-log-d1.pddl

diff --git a/satPlan2006/include/Examples/logistics-strips/prob009-log-d1.pddl b/satPlan2006/include/Examples/logistics-strips/prob009-log-d1.pddl
deleted file mode 100644 (file)
index 130a5bd..0000000
--- a/satPlan2006/include/Examples/logistics-strips/prob009-log-d1.pddl
+++ /dev/null
@@ -1,149 +0,0 @@
-;; original name logistics.d1\r
-;; same as logistics.d, but with 1 airplane\r
-;; (:length (:parallel 17))\r
-;; optimal\r
-;;\r
-\r
-(define (problem log009)\r
-    (:domain logistics-strips)\r
-    (:objects\r
-        package1\r
-        package2\r
-        package3\r
-        package4\r
-        package5\r
-        package6\r
-        package7\r
-        package8\r
-        package9\r
-\r
-        airplane1\r
-\r
-        pgh\r
-        bos\r
-        la\r
-        ny\r
-        sf\r
-\r
-        pgh-truck\r
-        bos-truck\r
-        la-truck\r
-        ny-truck\r
-        sf-truck\r
-\r
-        pgh-po\r
-        bos-po\r
-        la-po\r
-        ny-po\r
-        sf-po\r
-\r
-        pgh-central\r
-        bos-central\r
-        la-central\r
-        ny-central\r
-        sf-central\r
-\r
-        pgh-airport\r
-        bos-airport\r
-        la-airport\r
-        ny-airport\r
-        sf-airport\r
-    )\r
-    (:init\r
-        (OBJ package1)\r
-        (OBJ package2)\r
-        (OBJ package3)\r
-        (OBJ package4)\r
-        (OBJ package5)\r
-        (OBJ package6)\r
-        (OBJ package7)\r
-        (OBJ package8)\r
-        (OBJ package9)\r
-\r
-        (AIRPLANE airplane1)\r
-\r
-        (CITY pgh)\r
-        (CITY bos)\r
-        (CITY la)\r
-        (CITY ny)\r
-        (CITY sf)\r
-\r
-        (TRUCK pgh-truck)\r
-        (TRUCK bos-truck)\r
-        (TRUCK la-truck)\r
-        (TRUCK ny-truck)\r
-        (TRUCK sf-truck)\r
-\r
-        (LOCATION bos-po)\r
-        (LOCATION la-po)\r
-        (LOCATION pgh-po)\r
-        (LOCATION ny-po)\r
-        (LOCATION sf-po)\r
-\r
-        (LOCATION bos-central)\r
-        (LOCATION la-central)\r
-        (LOCATION pgh-central)\r
-        (LOCATION ny-central)\r
-        (LOCATION sf-central)\r
-\r
-        (AIRPORT bos-airport)\r
-        (LOCATION bos-airport)\r
-        (AIRPORT pgh-airport)\r
-        (LOCATION pgh-airport)\r
-        (AIRPORT la-airport)\r
-        (LOCATION la-airport)\r
-        (AIRPORT ny-airport)\r
-        (LOCATION ny-airport)\r
-        (AIRPORT sf-airport)\r
-        (LOCATION sf-airport)\r
-\r
-        (in-city pgh-po pgh)\r
-        (in-city pgh-airport pgh)\r
-        (in-city pgh-central pgh)\r
-\r
-        (in-city bos-po bos)\r
-        (in-city bos-airport bos)\r
-        (in-city bos-central bos)\r
-\r
-        (in-city la-po la)\r
-        (in-city la-airport la)\r
-        (in-city la-central la)\r
-\r
-        (in-city ny-po ny)\r
-        (in-city ny-airport ny)\r
-        (in-city ny-central ny)\r
-\r
-        (in-city sf-po sf)\r
-        (in-city sf-airport sf)\r
-        (in-city sf-central sf)\r
-\r
-        (at package1 pgh-po)\r
-        (at package2 pgh-central)\r
-        (at package3 pgh-central)\r
-        (at package4 ny-po)\r
-        (at package5 bos-po)\r
-        (at package6 bos-po)\r
-        (at package7 ny-po)\r
-        (at package8 sf-airport)\r
-        (at package9 sf-central)\r
-\r
-        (at airplane1 pgh-airport)\r
-\r
-        (at bos-truck bos-po)\r
-        (at pgh-truck pgh-airport)\r
-        (at la-truck la-po)\r
-        (at ny-truck ny-central)\r
-        (at sf-truck sf-airport)\r
-    )\r
-    (:goal (and\r
-        (at package1 bos-po)\r
-        (at package2 ny-po)\r
-        (at package3 la-central)\r
-        (at package4 la-airport)\r
-        (at package5 pgh-po)\r
-        (at package6 ny-central)\r
-        (at package7 pgh-po)\r
-        (at package8 ny-central)\r
-        (at package9 sf-po)\r
-    ))\r
-)\r