Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition (Artifact)

This artifact accompanies the paper and contains three tools for computing exact CDFs/PDFs via Cylindrical Algebraic Decomposition: wolfram-tool (our Mathematica implementation), psi-tool (a third-party solver adapted to run our benchmark suite), and PyCAD (our open-source Python/C++ pipeline). PyCAD is provided as a self-contained Docker image requiring no external licences. The Wolfram and PSI tools require a Mathematica licence.