Run the run-docker.sh script to build and launch a Docker container with all dependencies.
Or, use the Dockerfile as a guide to manually install dependencies.
Within the container, run cd work && ./run-dexy.sh to run the simulation and generate all docs.