removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / prodigy-bw-length / Doit

diff --git a/satPlan2006/include/Examples/prodigy-bw-length/Doit b/satPlan2006/include/Examples/prodigy-bw-length/Doit
deleted file mode 100644 (file)
index 9e7d500..0000000
--- a/satPlan2006/include/Examples/prodigy-bw-length/Doit
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/ksh -x\r
-for x in *.pddl\r
-do\r
-\r
- blackbox -o domain.pddl -f $x -printcnf -printexit | extract cnf > ${x%.pddl}.cnf\r
-\r
-done\r
-\r
-for x in bw-large-a.pddl\r
-do\r
-for a in 1 2 3\r
-do\r
- blackbox -o domain.pddl -f $x -axioms $a -printcnf -printexit | extract cnf > ${x%.pddl}.$a.cnf\r
-\r
-done\r
-done\r