removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / logistics-typed / domain.pddl

diff --git a/satPlan2006/include/Examples/logistics-typed/domain.pddl b/satPlan2006/include/Examples/logistics-typed/domain.pddl
deleted file mode 100644 (file)
index 6577ffa..0000000
--- a/satPlan2006/include/Examples/logistics-typed/domain.pddl
+++ /dev/null
@@ -1,89 +0,0 @@
-;; logistics domain\r
-;;\r
-;; logistics-typed-length: strips + simple types\r
-;;    based on logistics-strips-length.\r
-;; Tue Dec  1 16:10:25 EST 1998 Henry Kautz\r
-\r
-(define (domain logistics-typed)\r
-  (:requirements :strips :typing) \r
-  (:types PACKAGE TRUCK LOCATION AIRPLANE CITY AIRPORT)\r
-  (:predicates         \r
-               (at ?obj ?loc)\r
-               (in ?obj ?vehicle)\r
-               (in-city ?loc-or-truck ?city))\r
-  (:action LOAD-TRUCK\r
-       :parameters\r
-                (?obj - PACKAGE\r
-                 ?truck - TRUCK\r
-                 ?loc - LOCATION)\r
-       :precondition\r
-               (and    (at ?truck ?loc) \r
-                       (at ?obj ?loc))\r
-       :effect\r
-               (and    (not (at ?obj ?loc)) \r
-                       (in ?obj ?truck)))\r
-\r
-  (:action LOAD-AIRPLANE\r
-       :parameters\r
-               (?obj - PACKAGE\r
-                ?airplane - AIRPLANE\r
-                ?loc - AIRPORT)\r
-       :precondition\r
-               (and\r
-                       (at ?obj ?loc) \r
-                       (at ?airplane ?loc))\r
-       :effect\r
-               (and    (not (at ?obj ?loc)) \r
-                       (in ?obj ?airplane)))\r
-\r
-  (:action UNLOAD-TRUCK\r
-       :parameters\r
-               (?obj - PACKAGE\r
-                ?truck - TRUCK\r
-                ?loc - LOCATION)\r
-       :precondition\r
-               (and    (at ?truck ?loc) \r
-                       (in ?obj ?truck))\r
-       :effect\r
-               (and    (not (in ?obj ?truck)) \r
-                       (at ?obj ?loc)))\r
-\r
-  (:action UNLOAD-AIRPLANE\r
-       :parameters\r
-               (?obj - PACKAGE\r
-                ?airplane - AIRPLANE\r
-                ?loc - AIRPORT)\r
-       :precondition\r
-               (and    (in ?obj ?airplane) \r
-                       (at ?airplane ?loc))\r
-       :effect\r
-               (and \r
-                       (not (in ?obj ?airplane)) \r
-                       (at ?obj ?loc)))\r
-\r
-  (:action DRIVE-TRUCK\r
-       :parameters\r
-               (?truck - TRUCK\r
-                ?loc-from - LOCATION\r
-                ?loc-to - LOCATION\r
-                ?city - CITY)\r
-       :precondition\r
-               (and    (at ?truck ?loc-from)\r
-                       (in-city ?loc-from ?city)\r
-                       (in-city ?loc-to ?city))\r
-       :effect\r
-               (and    (not (at ?truck ?loc-from)) \r
-                       (at ?truck ?loc-to)))\r
-\r
-  (:action FLY-AIRPLANE\r
-       :parameters\r
-               (?airplane - AIRPLANE\r
-                ?loc-from - AIRPORT\r
-                ?loc-to - AIRPORT)\r
-       :precondition\r
-               (at ?airplane ?loc-from)\r
-       :effect\r
-               (and    (not (at ?airplane ?loc-from)) \r
-               (at ?airplane ?loc-to)))\r
-)\r
-\r