Artifact for Scaling Exact Inference for Discrete Probabilistic Programs

This is the primary artifact for "Scaling Exact Inference for Discrete Probabilistic Programs", to appear in OOPSLA 2020. To build, follow the instructions in the README.md file inside "dice-oopsla-artifact.zip". Included also is a required dependency "mlcuddidil-master.zip".