Artifact for the IJCAI 2025 paper "LP-Based Weighted Model Integration over Non-Linear Real Arithmetic"

<p dir="ltr">Artifact for the IJCAI 2025 paper "LP-Based Weighted Model Integration over Non-Linear Real Arithmetic". </p><p dir="ltr">This archived version provides a stable, versioned snapshot of the code that was used in the analyses reported in the publication. It is preserved here to support transparency, reproducibility, and long-term access.</p><p dir="ltr">For the most up-to-date version of the code, please refer to the project’s active GitHub repository:<br><a href="https://github.com/destrat18/wmilp" rel="noreferrer" target="_blank">https://github.com/destrat18/wmilp</a>. </p><p><br></p><p dir="ltr">This file provides instructions for installing and using WMI-LP, as introduced in the paper "LP-Based Weighted Model Integration over Non-Linear Real Arithmetic," and for running experiments. Tested on Ubuntu 20.04 and Python 3.8.10.</p>