minizinc/chuffed / sha256:35e394c5990a801aab1892f89164c646bbd12d0f13fdd719baa08313a10851f5

0.13.0

sha256:35e394c5990a801aab1892f89164c646bbd12d0f13fdd719baa08313a10851f5

Install from the command line


    
  
      
      $ brew install dekker1/minizinc/chuffed

darwin/macos 13/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/chuffed:0.13.0@sha256:341b809bcd3742f75af43e89877533779bf9788c6708e3435285942bcb67fbbd

linux/ubuntu 22.04.3/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/chuffed:0.13.0@sha256:2c7a68224286215248567bdd56d42e926708ddd0a6cf6316a9116473e447009e

Lazy clause generation FlatZinc solver

Details

Download activity

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

Other tags on this version