removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / logistics-typed-length / prob003-rocket-b.pddl

diff --git a/satPlan2006/include/Examples/logistics-typed-length/prob003-rocket-b.pddl b/satPlan2006/include/Examples/logistics-typed-length/prob003-rocket-b.pddl
deleted file mode 100644 (file)
index 1fd73c8..0000000
--- a/satPlan2006/include/Examples/logistics-typed-length/prob003-rocket-b.pddl
+++ /dev/null
@@ -1,51 +0,0 @@
-;; original name rocket_ext.b\r
-;; (:length (:parallel 7))\r
-;; optimal\r
-;;\r
-\r
-(define (problem log003)\r
-  (:domain logistics-typed)\r
-    (:length (:parallel 7))\r
-  (:objects mxf - PACKAGE\r
-           avrim - PACKAGE\r
-           alex - PACKAGE\r
-           jason  - PACKAGE\r
-           pencil  - PACKAGE\r
-           paper  - PACKAGE\r
-           april  - PACKAGE\r
-           michelle  - PACKAGE\r
-           betty  - PACKAGE\r
-           lisa  - PACKAGE\r
-           airplane1 - AIRPLANE\r
-           airplane2 - AIRPLANE\r
-           lon-airport  - AIRPORT\r
-           par-airport   - AIRPORT\r
-           jfk-airport   - AIRPORT\r
-           bos-airport  - AIRPORT)\r
-  (:init (at airplane1 jfk-airport)\r
-        (at airplane2 par-airport)\r
-        (at mxf jfk-airport)\r
-        (at avrim par-airport)\r
-        (at alex bos-airport)\r
-        (at jason jfk-airport)\r
-        (at pencil par-airport)\r
-        (at paper lon-airport)\r
-        (at michelle bos-airport)\r
-        (at april par-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