core/z3 5.1.0 Public Latest

High-performance theorem prover


    
  
      
      $ brew install z3

darwin/macos 14.8/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/z3:5.1.0@sha256:d30d02e844b80e2ae27677a1db45dbe985f434ebc600837027bb177fc5479bf4

darwin/macos 14.8/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/z3:5.1.0@sha256:7096ca09ef1a1bd808a635803b350c8d186179b20d7fc474ac7a7d53c2734052

darwin/macos 15.7/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/z3:5.1.0@sha256:c2d8714708ac6845e107e5ae015f57962e0b325904db8b82086183b702063293

darwin/macos 26/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/z3:5.1.0@sha256:a425cb1f059a28c5cbb33968bf371177d8ac491693b849428f719ee7acf22443

linux/ubuntu 24.04.4/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/z3:5.1.0@sha256:3b1907ce1d9d2ed51858d8c74fd82bca2608d72d247f1544969e05a41fd85878

linux/ubuntu 24.04.4/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/z3:5.1.0@sha256:c575cbcc03706c952a02728872e7fed554c7d0cfd5fe1c51394ea0b704941322