DiPApprox tool

Artifact Evaluation Release

This release provides the artifact accompanying our paper for Artifact Evaluation. It includes the source code, benchmarks, and scripts required to reproduce the experimental results.

What's Included

• Source code of the tool (Python/C++).
• Benchmarks and input examples.
• Scripts to reproduce tables and figures from the paper.
• Documentation for installation and usage.

Requirements

• OS: Linux or macOS (tested on Ubuntu 22.04, macOS 13).
• Software: Python 3.9+, C++17 compiler.
• Dependencies: Install via pip install -r requirements.txt.
• Hardware: 4 GB RAM (minimum), 16 GB RAM recommended for full benchmarks.

Quick Start

1. Clone the repository: git clone https://github.com/<your-repo>.git cd <your-repo>

2. Install dependencies: pip install -r requirements.txt

Notes

• The tool may output "unresolved" for some inputs (as discussed in the paper).
• Gaussian and Laplace parameterization differs from the paper; see documentation for details.

License Released under the MIT License.