removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / logistics-strips / prob029.pddl

diff --git a/satPlan2006/include/Examples/logistics-strips/prob029.pddl b/satPlan2006/include/Examples/logistics-strips/prob029.pddl
deleted file mode 100644 (file)
index 7e8e154..0000000
--- a/satPlan2006/include/Examples/logistics-strips/prob029.pddl
+++ /dev/null
@@ -1,154 +0,0 @@
-;; a logistics problem instance\r
-;; name: log029\r
-;; #packages: 10        #cities: 6  #planes: 3\r
-;; #locs_per_city: 3   #trucks_per_city: 1\r
-;; #goals: 10           seed: 3967928\r
-\r
-(define (problem log029)\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
-        package10\r
-        plane1\r
-        plane2\r
-        plane3\r
-        truck1-1\r
-        loc1-1\r
-        loc1-2\r
-        loc1-3\r
-        city1\r
-        truck2-1\r
-        loc2-1\r
-        loc2-2\r
-        loc2-3\r
-        city2\r
-        truck3-1\r
-        loc3-1\r
-        loc3-2\r
-        loc3-3\r
-        city3\r
-        truck4-1\r
-        loc4-1\r
-        loc4-2\r
-        loc4-3\r
-        city4\r
-        truck5-1\r
-        loc5-1\r
-        loc5-2\r
-        loc5-3\r
-        city5\r
-        truck6-1\r
-        loc6-1\r
-        loc6-2\r
-        loc6-3\r
-        city6\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
-        (OBJ package10)\r
-        (AIRPLANE plane1)\r
-        (AIRPLANE plane2)\r
-        (AIRPLANE plane3)\r
-        (TRUCK truck1-1)\r
-        (LOCATION loc1-1)\r
-        (LOCATION loc1-2)\r
-        (LOCATION loc1-3)\r
-        (CITY city1)\r
-        (AIRPORT loc1-1)\r
-        (TRUCK truck2-1)\r
-        (LOCATION loc2-1)\r
-        (LOCATION loc2-2)\r
-        (LOCATION loc2-3)\r
-        (CITY city2)\r
-        (AIRPORT loc2-1)\r
-        (TRUCK truck3-1)\r
-        (LOCATION loc3-1)\r
-        (LOCATION loc3-2)\r
-        (LOCATION loc3-3)\r
-        (CITY city3)\r
-        (AIRPORT loc3-1)\r
-        (TRUCK truck4-1)\r
-        (LOCATION loc4-1)\r
-        (LOCATION loc4-2)\r
-        (LOCATION loc4-3)\r
-        (CITY city4)\r
-        (AIRPORT loc4-1)\r
-        (TRUCK truck5-1)\r
-        (LOCATION loc5-1)\r
-        (LOCATION loc5-2)\r
-        (LOCATION loc5-3)\r
-        (CITY city5)\r
-        (AIRPORT loc5-1)\r
-        (TRUCK truck6-1)\r
-        (LOCATION loc6-1)\r
-        (LOCATION loc6-2)\r
-        (LOCATION loc6-3)\r
-        (CITY city6)\r
-        (AIRPORT loc6-1)\r
-        (in-city loc1-1 city1)\r
-        (in-city loc1-2 city1)\r
-        (in-city loc1-3 city1)\r
-        (in-city loc2-1 city2)\r
-        (in-city loc2-2 city2)\r
-        (in-city loc2-3 city2)\r
-        (in-city loc3-1 city3)\r
-        (in-city loc3-2 city3)\r
-        (in-city loc3-3 city3)\r
-        (in-city loc4-1 city4)\r
-        (in-city loc4-2 city4)\r
-        (in-city loc4-3 city4)\r
-        (in-city loc5-1 city5)\r
-        (in-city loc5-2 city5)\r
-        (in-city loc5-3 city5)\r
-        (in-city loc6-1 city6)\r
-        (in-city loc6-2 city6)\r
-        (in-city loc6-3 city6)\r
-        (at plane1 loc4-1)\r
-        (at plane2 loc4-1)\r
-        (at plane3 loc5-1)\r
-        (at truck1-1 loc1-1)\r
-        (at truck2-1 loc2-3)\r
-        (at truck3-1 loc3-3)\r
-        (at truck4-1 loc4-1)\r
-        (at truck5-1 loc5-1)\r
-        (at truck6-1 loc6-3)\r
-        (at package1 loc3-3)\r
-        (at package2 loc1-3)\r
-        (at package3 loc6-1)\r
-        (at package4 loc3-2)\r
-        (at package5 loc6-1)\r
-        (at package6 loc3-2)\r
-        (at package7 loc6-1)\r
-        (at package8 loc1-1)\r
-        (at package9 loc4-1)\r
-        (at package10 loc3-1)\r
-    )\r
-    (:goal (and\r
-        (at package1 loc3-3)\r
-        (at package2 loc1-3)\r
-        (at package3 loc5-2)\r
-        (at package4 loc1-1)\r
-        (at package5 loc6-2)\r
-        (at package6 loc4-3)\r
-        (at package7 loc5-2)\r
-        (at package8 loc6-1)\r
-        (at package9 loc2-3)\r
-        (at package10 loc3-3)\r
-    ))\r
-)\r