removing SATPlan and adding conda and sypet

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

diff --git a/satPlan2006/include/Examples/move-bw-length/domain.pddl b/satPlan2006/include/Examples/move-bw-length/domain.pddl
deleted file mode 100644 (file)
index c2de409..0000000
--- a/satPlan2006/include/Examples/move-bw-length/domain.pddl
+++ /dev/null
@@ -1,45 +0,0 @@
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;\r
-;;; Prodigy blocks world\r
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;\r
-\r
-(define (domain prodigy-bw)\r
-  (:requirements :strips)\r
-  (:predicates (on ?x ?y)\r
-              (on-table ?x)\r
-              (clear ?x)\r
-              )\r
-  (:action pick-up\r
-            :parameters (?ob1)\r
-            :precondition (and (clear ?ob1) (on-table ?ob1) (arm-empty))\r
-            :effect\r
-            (and (not (on-table ?ob1))\r
-                  (not (clear ?ob1))\r
-                  (not (arm-empty))\r
-                  (holding ?ob1)))\r
-  (:action put-down\r
-            :parameters (?ob)\r
-            :precondition (holding ?ob)\r
-            :effect\r
-            (and (not (holding ?ob))\r
-                  (clear ?ob)\r
-                  (arm-empty)\r
-                  (on-table ?ob)))\r
-  (:action stack\r
-            :parameters (?sob ?sunderob)\r
-            :precondition (and (holding ?sob) (clear ?sunderob))\r
-            :effect\r
-            (and (not (holding ?sob))\r
-                  (not (clear ?sunderob))\r
-                  (clear ?sob)\r
-                  (arm-empty)\r
-                  (on ?sob ?sunderob)))\r
-  (:action unstack\r
-            :parameters (?sob ?sunderob)\r
-            :precondition (and (on ?sob ?sunderob) (clear ?sob) (arm-empty))\r
-            :effect\r
-            (and (holding ?sob)\r
-                  (clear ?sunderob)\r
-                  (not (clear ?sob))\r
-                  (not (arm-empty))\r
-                  (not (on ?sob ?sunderob)))))\r
-\r