removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / bulldozer / prob09.pddl

diff --git a/satPlan2006/include/Examples/bulldozer/prob09.pddl b/satPlan2006/include/Examples/bulldozer/prob09.pddl
deleted file mode 100644 (file)
index b0d67f3..0000000
--- a/satPlan2006/include/Examples/bulldozer/prob09.pddl
+++ /dev/null
@@ -1,11 +0,0 @@
-(define (problem Jack-back2)\r
-    (:domain bulldozer)\r
-  (:objects a e g jack bulldozer)\r
-  (:length (:serial 6) (:parallel 6))\r
-  (:goal (and (at bulldozer g) (at Jack a)))\r
-  (:init (at jack a) (at bulldozer e)\r
-        (vehicle bulldozer)\r
-        (mobile jack)\r
-        (person jack)\r
-        (road a e) (road e a)\r
-        (road a g) (road g a)))
\ No newline at end of file