removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / hanoi / hanoi2.pddl

diff --git a/satPlan2006/include/Examples/hanoi/hanoi2.pddl b/satPlan2006/include/Examples/hanoi/hanoi2.pddl
deleted file mode 100644 (file)
index fd445bf..0000000
--- a/satPlan2006/include/Examples/hanoi/hanoi2.pddl
+++ /dev/null
@@ -1,16 +0,0 @@
-(define (problem hanoi-2)
-  (:domain hanoi-domain)
-  (:objects p1 p2 p3 d1 d2 )
-  (:init 
-    (smaller p1 d1)(smaller p2 d1)(smaller p3 d1)
-    (smaller p1 d2)(smaller p2 d2)(smaller p3 d2)
-
-    (smaller d2 d1)
-    
-    (clear p2)(clear p3)(clear d1)
-    (on d1 d2)(on d2 p1)
-  )
-  (:goal 
-    (and (on d1 d2)(on d2 p3) )
-  )
-)