All required software for this project can be installed using the [Nix package manager](https://nixos.org/nix/).
The development environment is specified in `shell.nix`. The paper has been successfully build using version `19.03.173179.ef4753de2aa` of [Nixpkgs](https://nixos.org/nixpkgs/).
`git-lfs` is required for retrieving all files from this repository. If installing it *after* cloning the repository, please run `git lfs install && git lfs pull`.