files / problems / hilbert16-degree-8 / compute / q9 / run_all.sh

154 B · on GitHub

#!/bin/sh
# Exit zero only for the q9 existence claim, never for an empty search.
set -eu
cd "$(dirname "$0")"
python3 controls.py
python3 verify.py "$@"