Public | Automated Build

Last pushed: 3 months ago
Short Description
Z3 Prover with Java bindings
Full Description

Docker Image for Z3 and Java

This docker image is based on the openjdk image and comes with:

  • Z3 Theorem Prover
  • Java bindings for Z3 installed to /usr/lib/
  • ant

You can find the image on docker hub. If the build there is outdated (new package versions available in Debian) just flick me a message that I can trigger a rebuild.


This Dockerfile 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.

Docker Pull Command
Source Repository

Comments (0)