Software artifact for "Sweap: Reactive Synthesis for Infinite-State Integer Problems"

This is a software artifact to promote reproducibility of experimental results described in the paper "Sweap: ReactiveSynthesis for Infinite-State Integer Problems" (CAV 2026). The Docker image may be built from scratch by cloning the repository https://github.com/dSynMa/sweap-docker (branch cav26). Caveats Our tool relies on NuXmv 2.1.0. To use this image you have to comply with nuxmv's license (https://nuxmv.fbk.eu/downloads/LICENSE.txt). This license allows artifact evaluation as it constitutes academic, non-commercial research purposes. The image may be loaded as localhost/sweap-cav26:latest instead of just sweap-cav26:latest as stated in the Readme. Please double check with docker image ls. We updated the artifact with an additional script to compute high-level comparisons between pairs of tools. It may be invoked with: docker run --rm -v ./benchmarks:/benchmarks sweap-cav26:latest /benchmarks/scripts/stats.py /benchmarks/results/results.csv