z3 ubuntu-20.04-bare-z3-sha-d66609e Public Latest

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 about 1 year ago · Digest
sha256:eeee5303fba8afcf02a7916dd341a0410084da924e38e0987f17b03401a9ee20

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

Published about 1 year ago · Digest
sha256:1f1c95e3ec9dbf0ca9033dc4bcafb22cb8d5afae34a79eae9176492333daacb6

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

Published about 1 year ago · Digest
sha256:ae53b74c828f221013c177a907d7289d4d7b84be2990c3b6d48e963e2b3a7c98

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

Published about 1 year ago · Digest
sha256:c934c2d71f4808909cd42ba8dd42783b07434b032801d7e4f8f1a103613a02d7

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

Published about 1 year ago · Digest
sha256:12d5199486970e6dfd115d542f79b52d3360db95652186e948c6ba88f174b1e7

9 Version downloads

View all tagged versions

Loading

Details

Last published

1 year ago

Discussions

349

Issues

152

Total downloads

40.1K

Contributors 310

+ 295 contributors

Start a discussion

Open an issue