Docker Image for Z3 and Java
Image Location: registry.gitlab.com/sebastians90/docker-z3-java:latest (built by GiltLab CI)
This Docker image is based on the openjdk image and comes with:
- Z3 Theorem Prover
- Java bindings for Z3, installed to
/usr/lib/com.microsoft.z3.jar ant(Java based build tool like make)
Contributing
The canonical source of this Docker image is hosted on GitLab.com. Please file any issues there.
License
This Dockerfile and the CI configuration is released into the public domain. Please see the LICENSE file for details. For the license of Z3Prover or other software that is downloaded by this Dockerfile, please refer to their appropriate vendors.