minizinc/findmus

Tool to find minimal unsatisfiable subsets of constraints in a MiniZinc instance

Install from the command line


    
  
      
      $ brew install dekker1/minizinc/findmus

darwin/macos 11.6/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/findmus:0.7.0-1@sha256:e30736bd5d166abcc14badb20852950678330826835b99c7373302bd9acf1f7a

linux/ubuntu 20.04.4/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/findmus:0.7.0-1@sha256:b76a27ba756995f5786da8e05ba14f2d978ae475fb9b46475e9ba9104351ddb6