minizinc/fzn-picat

FlatZinc solver based on the Picat Language SAT Engine

Install from the command line


    
  
      
      $ brew install dekker1/minizinc/fzn-picat

darwin/macos 13.5/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/fzn-picat:3.5.5@sha256:bd092f4317d78bdb6029e1331082430795f686684d6cce9504cb47e9dae70feb

linux/ubuntu 22.04.3/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/fzn-picat:3.5.5@sha256:3dacaccb24ed34af50f5a1fdbe660b26be07fb33dd20a5dc7732db33a322adb4

Recent tagged image versions

3.5.5

Published 11 months ago · Digest
sha256:885d330806772ba1e5a6599ba63581c5edd45e5464d914a4038b448e9481267a

110 Version downloads
3.4.0

Published over 1 year ago · Digest
sha256:955fdcf6955351a85c67d4703962899f0aa060bd80a632a671550b68da5b42fb

144 Version downloads
3.3.3

Published almost 2 years ago · Digest
sha256:3554e247b82d2fdedb0f9443127d51e121b62048353b2093851a26ba74ecc334

152 Version downloads
3.3.0

Published almost 2 years ago · Digest
sha256:01d233f3ce7d245a78f2e0f6561539e41588c1e77eb51d84fc0bbbf2b5a4efe1

150 Version downloads
3.2.8

Published almost 2 years ago · Digest
sha256:29337d9a73fb38b07ea9907908972010eafedd55de874d8c653f6a1bad7a08ff

148 Version downloads