All following commands should be run in a docker container:
./load_docker.sh
To generate test cases, please run:
(cd golf/data/ && ./generate.sh)
To generate problem description pdf, run:
problem2pdf golf
Lastly, to verify the problem, run:
verifyproblem golf