core/kissat 4.0.3 Public Latest

Bare metal SAT solver


    
  
      
      $ brew install kissat

darwin/macos 13.7/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/kissat:4.0.3@sha256:4f07e096911a5dd01db730db919518329c3a721fb2233c72525a46107f7e625f

darwin/macos 13.7/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/kissat:4.0.3@sha256:3529e743fc45cec54d211a86714281b572c5f10192a3be4a34777ad30df9a5fc

darwin/macos 14.7/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/kissat:4.0.3@sha256:5672f73a7cb37e426b9b62ad20041733c0b7cb32ea19b3bee954d8ab812b5224

darwin/macos 14.7/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/kissat:4.0.3@sha256:4a16d94f1c06a70c0b2e992caccf9a772c6d5e7efb2a231b7c1bf65f6e7ba768

darwin/macos 15.4/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/kissat:4.0.3@sha256:9bd17113c876cba597b5dc7182f49dd10b4b8beb9ca703f331c7b73d90ca644b

darwin/macos 26/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/kissat:4.0.3@sha256:96aa0560981f8e7f17201b67ade03c2e34e992a275c2d489c66196d45d4ccf25

linux/ubuntu 22.04.5/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/kissat:4.0.3@sha256:a800ee90f4846a02c22548a397c09c01d9b909b32e01e2d3af7004fa93689ba3

linux/ubuntu 22.04.5/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/kissat:4.0.3@sha256:35ada099b18054ff9f66f3006bdd4c238143883885f6f5929d6ea45fa1ecb9fb

Loading

Last published

Issues

Total downloads

Contributors 5,000+