removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / hanoi / hanoi-5.pddl

diff --git a/satPlan2006/include/Examples/hanoi/hanoi-5.pddl b/satPlan2006/include/Examples/hanoi/hanoi-5.pddl
deleted file mode 100644 (file)
index a34dd68..0000000
--- a/satPlan2006/include/Examples/hanoi/hanoi-5.pddl
+++ /dev/null
@@ -1,18 +0,0 @@
-
-(define (problem hanoi5)
-  (:domain hanoi-domain)
-  (:objects peg1 peg2 peg3 d1 d2 d3 d4 d5)
-  (:init 
-   (smaller peg1 d1) (smaller peg1 d2) (smaller peg1 d3)
-   (smaller peg1 d4) (smaller peg1 d5)
-   (smaller peg2 d1) (smaller peg2 d2) (smaller peg2 d3)
-   (smaller peg2 d4) (smaller peg2 d5)
-   (smaller peg3 d1) (smaller peg3 d2) (smaller peg3 d3)
-   (smaller peg3 d4) (smaller peg3 d5)
-   (smaller d2 d1) (smaller d3 d1) (smaller d3 d2) (smaller d4 d1)
-   (smaller d4 d2) (smaller d4 d3) (smaller d5 d1) (smaller d5 d2)
-   (smaller d5 d3) (smaller d5 d4)
-   (clear peg2) (clear peg3) (clear d1)
-   (on d5 peg1) (on d4 d5) (on d3 d4) (on d2 d3) (on d1 d2))
-  (:goal (and (on d5 peg3) (on d4 d5) (on d3 d4) (on d2 d3) (on d1 d2)))
-  )