removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / move-bw-length / bw-12step.pddl

diff --git a/satPlan2006/include/Examples/move-bw-length/bw-12step.pddl b/satPlan2006/include/Examples/move-bw-length/bw-12step.pddl
deleted file mode 100644 (file)
index 959c527..0000000
--- a/satPlan2006/include/Examples/move-bw-length/bw-12step.pddl
+++ /dev/null
@@ -1,18 +0,0 @@
-(define (problem bw-12step)           ; graphplan 12 steps\r
-  ;; Relatively hard. Requires 12 steps and takes graphplan 20 seconds.\r
-  ;; (unstack c d) (put-down c) (unstack d e) (put-down d)\r
-  ;; (unstack e f) (put-down e) (unstack f g) (stack f a) (unstack c b)\r
-  ;; (stack c d) (pick-up b) (stack b c)\r
-    (:domain prodigy-bw)\r
-  (:length (:parallel 12) (:serial 12))\r
-  (:objects A B C D E F G)\r
-  (:init (on-table A) (clear A)\r
-        (on-table B) (clear B)\r
-        (on-table G)\r
-        (on F G)\r
-        (on E F)\r
-        (on D E)\r
-        (on C D) (clear C)\r
-        (arm-empty))\r
-  (:goal (and (on B C) (on-table A) (on F A) (on C D)))\r
-  )\r