Cody Rivera, Bishnu Bhusal, Rohit Chadha, Aravinda Prasad Sistla, Mahesh Viswanathan: Artifact for Paper Submission "Checking 𝛿-Satisfiability of Reals with Integrals". Zenodo 2025