Getting started

All following commands should be run in a docker container:

  ./load_docker.sh

Generating test cases

To generate test cases, please run:

(cd golf/data/ && ./generate.sh)

Generating pdf

To generate problem description pdf, run:

  problem2pdf golf

Verifying the problem

Lastly, to verify the problem, run:

  verifyproblem golf