removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / bulldozer / README

diff --git a/satPlan2006/include/Examples/bulldozer/README b/satPlan2006/include/Examples/bulldozer/README
deleted file mode 100644 (file)
index fc41953..0000000
--- a/satPlan2006/include/Examples/bulldozer/README
+++ /dev/null
@@ -1,7 +0,0 @@
-Domain: bulldozer\r
-Versions: bulldozer\r
-\r
-This is the same as the PDDL 1.3 distribution domain\r
-       strict-domains/travel/domain01.pddl\r
-but with the simplifed domain02.pddl and domain03.pddl eliminated.\r
-\r