SMTInterpol for SMT-COMP 2024

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

• smtinterpol-2.5-1381-g0e9bd0bf.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 smtcomp2024
• Dockerfile is the docker script to build the docker image