minizinc/geas / sha256:ba664b0089b19aec7ca7b439579e6f9d7ff592feb77156c11b32ad823a4155e2

2022-05-16

sha256:ba664b0089b19aec7ca7b439579e6f9d7ff592feb77156c11b32ad823a4155e2

Install from the command line


    
  
      
      $ brew install dekker1/minizinc/geas

darwin/macos 11.6/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/geas:2022-05-16@sha256:2e36aba968b314bb31eba6607aacf903147db21a27488782975b3f1fbe318a06

linux/ubuntu 20.04.4/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/geas:2022-05-16@sha256:1dba68f7bc5c282c4e639c71d1628698dbb208184cea19d1e38e310755ab1a90

Lazy clause generation FlatZinc solver

Details

Download activity

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

Other tags on this version