minizinc/chuffed / sha256:80ce6f74fb97406b5c9205a7a7dad22cd6ec3da4b6af75112bd867e141f525ba

0.12.0

sha256:80ce6f74fb97406b5c9205a7a7dad22cd6ec3da4b6af75112bd867e141f525ba

Install from the command line


    
  
      
      $ brew install dekker1/minizinc/chuffed

darwin/macos 12.6/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/chuffed:0.12.0@sha256:83d07fe4af3f156d6d3c19e78c44cc7727782cfd1067ea82d20ea295ef18abc2

linux/ubuntu 22.04.2/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/chuffed:0.12.0@sha256:bf1f66d3afe7a9bc38b59940efd027094e39e12dcdd017ffb420659ca8feed04

Lazy clause generation FlatZinc solver

Details

Download activity

Total downloads 139
Last 30 days 0
Last week 0
Today 0

Other tags on this version