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

335 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 combined_union.edge combined_union.5color.txt --json combined_union.sat.json