There is a newer version of the record available.

Published April 28, 2026 | Version v1
Software Open

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

Authors/Creators

  • 1. ROR icon Queen Mary University of London

Description

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.

Files

Files (477.2 MB)

Name Size Download all
md5:64946fa26f8aa876269b251007c42f39
477.2 MB Download

Additional details

Software

Repository URL
https://github.com/HamzaBandukara/pycad