SMTInterpol for SMT-COMP 2026

This contains the artifacts for smtinterpol (binaries, git repository, docker build).

• smtinterpol-2.5-1488-g28a43840.tar.gz is the submitted binary
• smtinterpol-docker.tar.zst is the docker image used to build the binary from sources (includes linux, java, smtinterpol git repository, binaries) use with docker image load.
• smtinterpol-git.tar.zst is the git repository containing the sources. Use with git clone smtinterpol.git -b smtcomp2026
• Dockerfile is the docker script to build the docker image

To create the artifacts, I used:

git clone --bare https://github.com/ultimate-pa/smtinterpol -b smtcomp2026
tar --zstd -cvf smtinterpol-git.tar.zst smtinterpol.git
docker build -t smtinterpol .
docker image save smtinterpol:latest | zstd > smtinterpol-docker.tar.zst
docker run --rm -v "$PWD:/out" smtinterpol sh -c 'cp /smtinterpol/dist/*.tar.gz /out/'

Website: https://ultimate.informatik.uni-freiburg.de/smtinterpol/