removing SATPlan and adding conda and sypet

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

diff --git a/satPlan2006/include/Examples/move-bw-length/bw-sussman.pddl b/satPlan2006/include/Examples/move-bw-length/bw-sussman.pddl
deleted file mode 100644 (file)
index c2b2123..0000000
--- a/satPlan2006/include/Examples/move-bw-length/bw-sussman.pddl
+++ /dev/null
@@ -1,7 +0,0 @@
-(define (problem bw-sussman)       ; graphplan 6 steps\r
-    (:domain prodigy-bw)\r
-  (:length (:parallel 6) (:serial 6))\r
-  (:objects A B C)\r
-  (:init (on-table a) (on-table b) (on c a)\r
-               (clear b) (clear c) (arm-empty))\r
-  (:goal (and (on a b) (on b c))))\r