z3

The Z3 Theorem Prover

Install from the command line

Learn more about packages


    
  
      
      $ docker pull ghcr.io/z3prover/z3:ubuntu-20.04-bare-z3-sha-d66609e

Recent tagged image versions

ubuntu-20.04-bare-z3-sha-d66609e ubuntu-20.04-bare-z3-20240922 ubuntu-20.04-bare-z3-edge

Published 2 months ago · Digest
sha256:eeee5303fba8afcf02a7916dd341a0410084da924e38e0987f17b03401a9ee20

35 Version downloads
ubuntu-20.04-bare-z3-sha-99a9a4a ubuntu-20.04-bare-z3-20240915

Published 2 months ago · Digest
sha256:1f1c95e3ec9dbf0ca9033dc4bcafb22cb8d5afae34a79eae9176492333daacb6

4 Version downloads
ubuntu-20.04-bare-z3-sha-8061765 ubuntu-20.04-bare-z3-20240908

Published 3 months ago · Digest
sha256:ae53b74c828f221013c177a907d7289d4d7b84be2990c3b6d48e963e2b3a7c98

7 Version downloads
ubuntu-20.04-bare-z3-sha-a3eb2ff ubuntu-20.04-bare-z3-20240901

Published 3 months ago · Digest
sha256:c934c2d71f4808909cd42ba8dd42783b07434b032801d7e4f8f1a103613a02d7

6 Version downloads
ubuntu-20.04-bare-z3-20240825 ubuntu-20.04-bare-z3-sha-c1454dc

Published 3 months ago · Digest
sha256:12d5199486970e6dfd115d542f79b52d3360db95652186e948c6ba88f174b1e7

4 Version downloads

View all tagged versions

Loading

Details

Last published

2 months ago

Discussions

318

Issues

160

Total downloads

36.9K

Contributors 287

+ 272 contributors

Start a discussion

Open an issue