removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / logistics-strips-length / prob002-rocket-a.pddl

diff --git a/satPlan2006/include/Examples/logistics-strips-length/prob002-rocket-a.pddl b/satPlan2006/include/Examples/logistics-strips-length/prob002-rocket-a.pddl
deleted file mode 100644 (file)
index 5645f1d..0000000
--- a/satPlan2006/include/Examples/logistics-strips-length/prob002-rocket-a.pddl
+++ /dev/null
@@ -1,85 +0,0 @@
-;; original name rocket_ext.a\r
-;; (:length (:parallel 7))\r
-;; optimal\r
-;;\r
-\r
-(define (problem log002)\r
-  (:domain logistics-strips)\r
-    (:length (:parallel 7))\r
-  (:objects mxf\r
-           avrim\r
-           alex\r
-           jason\r
-           pencil\r
-           paper\r
-           april\r
-           michelle\r
-           betty\r
-           lisa\r
-           airplane1 \r
-           airplane2\r
-           lon-airport \r
-           par-airport \r
-           jfk-airport \r
-           bos-airport\r
-           lon \r
-           par \r
-           jfk \r
-           bos)\r
-  (:init (OBJ mxf)\r
-        (OBJ avrim)\r
-        (OBJ alex)\r
-        (OBJ jason)\r
-        (OBJ pencil)\r
-        (OBJ paper)\r
-        (OBJ april)\r
-        (OBJ michelle)\r
-        (OBJ betty)\r
-        (OBJ lisa)\r
-        (AIRPLANE airplane1)\r
-        (AIRPLANE airplane2)\r
-        (LOCATION lon-airport )\r
-        (AIRPORT lon-airport )\r
-        (LOCATION par-airport )\r
-        (AIRPORT par-airport )\r
-        (LOCATION jfk-airport )\r
-        (AIRPORT jfk-airport )\r
-        (LOCATION bos-airport)\r
-        (AIRPORT bos-airport)\r
-        (CITY lon)\r
-        (CITY par)\r
-        (CITY jfk)\r
-        (CITY bos)\r
-        (in-city lon-airport lon)\r
-        (in-city bos-airport bos)\r
-        (in-city jfk-airport jfk)\r
-        (in-city par-airport par)\r
-        (at airplane1 jfk-airport)\r
-        (at airplane2 bos-airport)\r
-        (at airplane1 jfk-airport)\r
-        (at airplane2 bos-airport)\r
-        (at mxf par-airport)\r
-        (at avrim par-airport)\r
-        (at alex par-airport)\r
-        (at jason jfk-airport)\r
-        (at pencil lon-airport)\r
-        (at paper lon-airport)\r
-        (at michelle lon-airport)\r
-        (at april lon-airport)\r
-        (at betty lon-airport)\r
-        (at lisa lon-airport)\r
-        )\r
-  (:goal (and \r
-         (at mxf bos-airport)\r
-         (at avrim jfk-airport)\r
-         (at pencil bos-airport)\r
-         (at alex jfk-airport)\r
-         (at april bos-airport)\r
-         (at lisa par-airport)\r
-         (at michelle jfk-airport)\r
-         (at jason bos-airport)\r
-         (at paper par-airport)\r
-         (at betty jfk-airport)\r
-         )\r
-        )\r
-  )\r