minizinc/geas

Lazy clause generation FlatZinc solver

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