removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / prodigy-bw-length / bw-large-b.pddl

diff --git a/satPlan2006/include/Examples/prodigy-bw-length/bw-large-b.pddl b/satPlan2006/include/Examples/prodigy-bw-length/bw-large-b.pddl
deleted file mode 100644 (file)
index ae9813b..0000000
--- a/satPlan2006/include/Examples/prodigy-bw-length/bw-large-b.pddl
+++ /dev/null
@@ -1,41 +0,0 @@
-;;; bw-large-b\r
-;;;\r
-;;; Initial:  3/2/1   11/10/5/4/   9/8/7/6\r
-;;; Goal:     1/5/10/  8/9/4/   2/3/11/7/6\r
-;;; Length:   18\r
-\r
-(define (problem bw-large-b)\r
-  (:domain prodigy-bw)\r
-  (:length (:parallel 18) (:serial 18))\r
-  (:objects 1 2 3 4 5 6 7 8 9 10 11)\r
-  (:init (arm-empty)\r
-        (on 3 2)\r
-        (on 2 1)\r
-        (on-table 1)\r
-        (on 11 10)\r
-        (on 10 5)\r
-        (on 5 4)\r
-        (on-table 4)\r
-        (on 9 8)\r
-        (on 8 7)\r
-        (on 7 6)\r
-        (on-table 6)\r
-        (clear 3)\r
-        (clear 11)\r
-        (clear 9))\r
-  (:goal (and\r
-         (on 1 5)\r
-         (on 5 10)\r
-         (on-table 10)\r
-         (on 8 9)\r
-         (on 9 4)\r
-         (on-table 4)\r
-         (on 2 3)\r
-         (on 3 11)\r
-         (on 11 7)\r
-         (on 7 6)\r
-         (on-table 6)\r
-         (clear 1)\r
-         (clear 8)\r
-         (clear 2)\r
-         )))\r