removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / logistics-strips / SOLVE-ALL-ONLY-CHAFF

diff --git a/satPlan2006/include/Examples/logistics-strips/SOLVE-ALL-ONLY-CHAFF b/satPlan2006/include/Examples/logistics-strips/SOLVE-ALL-ONLY-CHAFF
deleted file mode 100644 (file)
index 3d885d9..0000000
--- a/satPlan2006/include/Examples/logistics-strips/SOLVE-ALL-ONLY-CHAFF
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash\r
-\r
-for f in prob*.pddl\r
-do\r
-echo\r
-echo '*******************************************'\r
-blackbox -o domain.pddl -f $f -solver chaff \r
-done\r