removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / logistics-strips-length / Solve-All

diff --git a/satPlan2006/include/Examples/logistics-strips-length/Solve-All b/satPlan2006/include/Examples/logistics-strips-length/Solve-All
deleted file mode 100644 (file)
index cf3f35c..0000000
--- a/satPlan2006/include/Examples/logistics-strips-length/Solve-All
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/csh -x\r
-\r
-set Dom = *domain*.pddl\r
-foreach f (*.pddl)\r
-    if ( $f !~ *domain*) then\r
-       blackbox -o $Dom -f $f -printcnf -printexit | extract cnf > $f.cnf\r
-    endif\r
-\r
-end\r