removing SATPlan and adding conda and sypet

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

diff --git a/satPlan2006/include/Examples/move-bw-length/bw-reversal4.pddl b/satPlan2006/include/Examples/move-bw-length/bw-reversal4.pddl
deleted file mode 100644 (file)
index 06900b1..0000000
--- a/satPlan2006/include/Examples/move-bw-length/bw-reversal4.pddl
+++ /dev/null
@@ -1,22 +0,0 @@
-;;; bw-reversal4\r
-;;;\r
-;;; Initial:  a/b/c/d\r
-;;; Goal:     d/c/b/a\r
-;;; Length: 8\r
-\r
-(define (problem bw-reversal4)\r
-  (:domain prodigy-bw)\r
-  (:length (:parallel 8) (:serial 8))\r
-  (:objects a b c d)\r
-  (:init (arm-empty)\r
-        (on a b)\r
-        (on b c)\r
-        (on c d)\r
-        (on-table d)\r
-        (clear a))\r
-  (:goal (and\r
-         (on d c)\r
-         (on c b)\r
-         (on b a)\r
-         (on-table a)\r
-         (clear d))))\r