removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / woodshop / prob03.pddl

diff --git a/satPlan2006/include/Examples/woodshop/prob03.pddl b/satPlan2006/include/Examples/woodshop/prob03.pddl
deleted file mode 100644 (file)
index 6c46841..0000000
--- a/satPlan2006/include/Examples/woodshop/prob03.pddl
+++ /dev/null
@@ -1,11 +0,0 @@
-(define (problem woodshop-strips-1)\r
-    (:domain woodshop-strips)\r
-  (:objects a - physobj\r
-           natural green - color\r
-           square - objshape\r
-           three-eighths - size)\r
-  (:init  (not (inbox a)) (not (inhood a)) (shape a round) (colored a natural)\r
-           (rough a) (not (hole a three-eighths)))\r
-  (:length (:serial 9) (:parallel 9))  \r
-  (:goal (and (colored a green) (shape a round) (hole a three-eighths) (not (dusty a))\r
-               (inbox a) (not (rough a)))))
\ No newline at end of file