aggelgian/smt-solvers repository overview

⁠SMT Solvers Dockerfile

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

⁠Installation

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" github.com/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