minizinc/open-wbo

State-of-the-art MaxSAT and Pseudo-Boolean solver


    
  
      
      $ brew install dekker1/minizinc/open-wbo

darwin/macos 12.6/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/open-wbo:2.1@sha256:4623dd7acd7542f245a2976a129925d503b356593457b369c923ebe7638e1d4e

linux/ubuntu 22.04.2/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/open-wbo:2.1@sha256:12eb6e6c20c4209195840e934bf3a60a6f312b2fa0683a218685c717bb316140

Loading

Last published

Issues

Total downloads

Contributors 1