removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / fridge-typed / prob01.pddl

diff --git a/satPlan2006/include/Examples/fridge-typed/prob01.pddl b/satPlan2006/include/Examples/fridge-typed/prob01.pddl
deleted file mode 100644 (file)
index dd4a405..0000000
--- a/satPlan2006/include/Examples/fridge-typed/prob01.pddl
+++ /dev/null
@@ -1,14 +0,0 @@
-(define (problem prob01-fixa)\r
-  (:domain fridge-domain-typed)\r
-  (:objects s1 s2 s3 s4 - screw\r
-           b1 - backplane\r
-           c1 c2 - compressor\r
-           f1 - fridge)\r
-  (:init (covers b1 c1) (part-of b1 f1)\r
-        (holds s1 b1)  (holds s2 b1)  (holds s3 b1)\r
-        (holds s4 b1)\r
-        (ok c1) (ok c2) (fridge-on f1)\r
-        (screwed s1) (screwed s2) (screwed s3) (screwed s4)\r
-        (in-place b1) (attached c1))\r
-  (:goal (and (attached c2) (ok c2)))\r
-  (:length (:serial 7 ) (:parallel 3)))\r