removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / prodigy-bw / bw-simple-test.pddl

diff --git a/satPlan2006/include/Examples/prodigy-bw/bw-simple-test.pddl b/satPlan2006/include/Examples/prodigy-bw/bw-simple-test.pddl
deleted file mode 100644 (file)
index a108cbb..0000000
--- a/satPlan2006/include/Examples/prodigy-bw/bw-simple-test.pddl
+++ /dev/null
@@ -1,5 +0,0 @@
-(define (problem bw-simple)\r
-    (:domain prodigy-bw)\r
-  (:objects 1 2 3)\r
-  (:init (clear 1) (arm-empty) (on 1  2) (on-table 2))\r
-  (:goal (and (on-table 1) (clear 2))))\r