Z3 Prover with Java bindings
Docker Image for Z3 and Java
- Z3 Theorem Prover
- Java bindings for Z3 installed to
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