Public | Automated Build

Last pushed: 2 years ago
Short Description
Z3 and CVC4 SMT Solvers
Full Description

SMT Solvers Dockerfile

This repository contains the Dockerfile of Z3 and CVC4 for Docker's automated build published to the public Docker Hub Registry.


  1. Install Docker.

  2. Download automated build from public Docker Hub Registry: docker pull aggelgian/smt-solvers

    (alternatively, you can build an image from Dockerfile: docker build -t="aggelgian/smt-solvers"

Usage for Z3

docker run -i --rm aggelgian/smt-solvers z3 -in < /path/to/script

Usage for CVC4

docker run -i --rm aggelgian/smt-solvers cvc4 --lang smt < /path/to/script
Docker Pull Command
Source Repository