removing SATPlan and adding conda and sypet

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

diff --git a/satPlan2006/include/Examples/bulldozer/prob06.pddl b/satPlan2006/include/Examples/bulldozer/prob06.pddl
deleted file mode 100644 (file)
index a4da1a0..0000000
--- a/satPlan2006/include/Examples/bulldozer/prob06.pddl
+++ /dev/null
@@ -1,14 +0,0 @@
-(define (problem Go-Jack)\r
-    (:domain bulldozer)\r
-  (:objects a b d e g jack)\r
-  (:goal (AND (at Jack g)))\r
-  (:length (:serial 4 ) (:parallel 4))\r
-  (:init (at jack a) \r
-        ;;(at bulldozer e)\r
-        ;; (vehicle bulldozer)\r
-        (mobile jack)\r
-        (person jack)\r
-        (road a e)\r
-        (road e b)\r
-        (bridge b d)\r
-        (road d g)))
\ No newline at end of file