Binaries downloaded from
- https://repo.maven.apache.org/maven2/org/sosy-lab/javasmt-solver-mathsat5/5.6.8/
- https://repo.maven.apache.org/maven2/org/sosy-lab/javasmt-solver-z3/4.12.1/
todo: improve version handling, use maven artifacts instead of committing binaries?