removing SATPlan and adding conda and sypet

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

diff --git a/satPlan2006/include/Examples/tire-world/prob03.pddl b/satPlan2006/include/Examples/tire-world/prob03.pddl
deleted file mode 100644 (file)
index ba8f89a..0000000
--- a/satPlan2006/include/Examples/tire-world/prob03.pddl
+++ /dev/null
@@ -1,11 +0,0 @@
-(DEFINE (PROBLEM FIX-STRIPS3) \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
-        (INTACT WHEEL2) (IN JACK TRUNK) (IN PUMP TRUNK) (IN WHEEL2 TRUNK) \r
-        (IN WRENCH TRUNK) (ON WHEEL1 THE-HUB) (ON-GROUND THE-HUB) \r
-        (TIGHT NUTS THE-HUB) (NOT (LOCKED TRUNK)) (NOT (OPEN TRUNK)) \r
-        (NOT (UNFASTENED THE-HUB)) (NOT (INFLATED WHEEL2)) (NOT (INFLATED WHEEL1)) \r
-        (NOT (INTACT WHEEL1)))\r
-  (:GOAL (AND (ON WHEEL2 THE-HUB) (TIGHT NUTS THE-HUB) (INFLATED WHEEL2)))\r
-  (:length (:serial 14) (:parallel 10)))\r