diff --git a/harald/explore.sh b/harald/explore.sh new file mode 100755 index 0000000..aaf2615 --- /dev/null +++ b/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