removing SATPlan and adding conda and sypet

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

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