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)
The canonical source of this Docker image is hosted on GitLab.com. Please file any issues there.
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.