# Supplementary material for "Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach"

The code accompanying this paper consists of three folders:

1. `genfer/`: the tool implmentation **Genfer**
2. `comparison_approx/` (for the comparison with approximate methods): contains the Clojure code to run Anglican's inference algorithms and the Python notebooks to process the results and to produce the plots.
3. `comparison_exact/` (for the comparison with exact methods): contains the benchmark programs in Dice's, Genfer's, PSI's, and Prodigy's formats and evaluation scripts.

## Reproducing our results

We ran the experiments on Ubuntu 22.04.2.
The instructions in all the READMEs assume that you are running a Linux system.
Reproduction should also be possible on other systems, but will require changes to the commands.
As we do not have access to other systems, we cannot provide commands for them.
