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

155 B · on GitHub

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