files / problems / hadwiger-nelson-plane / compute / q2 / run_search.sh

323 B · on GitHub

#!/bin/sh
set -eu
cd "$(dirname "$0")"
python3 build.py
HN_PYTHON=${HN_PYTHON:-../q1/.venv/bin/python}
if [ ! -x "$HN_PYTHON" ]; then
    echo "create ../q1/.venv and install python-sat, or set HN_PYTHON" >&2
    exit 1
fi
"$HN_PYTHON" ../q1/solve_5color.py rho3_union.edge rho3_union.5color.txt --json rho3_union.sat.json