execution script

harald/explore.sh

@@ -0,0 +1,18 @@
+#! /bin/bash
+
+PROBLEMS="$*"
+
+if [ -z "$PROBLEMS" ] ; then
+    PROBLEMS=$(jq -r '.[]|.problem' ../problems.json)
+fi
+
+TRIES=${TRIES:-10}
+
+for problem in $PROBLEMS; do
+    for t in $(seq $TRIES); do
+        ./explore.py $problem
+        if [ $? -eq 0 ]; then
+            break
+        fi
+    done 
+done