removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / tire-world / prob01.pddl

diff --git a/satPlan2006/include/Examples/tire-world/prob01.pddl b/satPlan2006/include/Examples/tire-world/prob01.pddl
deleted file mode 100644 (file)
index acb9de3..0000000
--- a/satPlan2006/include/Examples/tire-world/prob01.pddl
+++ /dev/null
@@ -1,10 +0,0 @@
-(DEFINE (PROBLEM FIX-STRIPS1) \r
-    (:DOMAIN FLAT-TIRE-STRIPS)\r
-  (:objects wheel1 wheel2 the-hub nuts trunk)\r
-  (:init (WHEEL WHEEL1) (WHEEL WHEEL2) (HUB the-HUB) (NUT NUTS) (CONTAINER TRUNK)\r
-         (IN JACK TRUNK) (IN PUMP TRUNK) (IN WHEEL2 TRUNK)\r
-         (IN WRENCH TRUNK) (ON WHEEL1 the-HUB) (ON-GROUND the-HUB) (TIGHT NUTS the-HUB)\r
-         (NOT (LOCKED TRUNK)) (NOT (OPEN TRUNK)) (NOT (UNFASTENED the-HUB))\r
-         )\r
-  (:GOAL (AND (in WHEEL1 trunk) (in jack trunk) (in pump trunk)))\r
-  (:length (:serial 9) (:parallel 9)))\r