minizinc/clingcon / sha256:a51b38612be1967bb948807d85e7d46b4e7f70c45c32068eb90a5463fb6f677a

5.2.1

sha256:a51b38612be1967bb948807d85e7d46b4e7f70c45c32068eb90a5463fb6f677a

Install from the command line


    
  
      
      $ brew install dekker1/minizinc/clingcon

darwin/macos 13.6/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/clingcon:5.2.1@sha256:cf418c1425a64c49605a915f3f10c0e90652b001df6a2b2b6081b3e0b13ef039

linux/ubuntu 22.04.4/amd64


      
  
      
        $ docker pull ghcr.io/dekker1/minizinc/clingcon:5.2.1@sha256:7df5ed8f22e181650533c437a8cec10480afb9da86b115f2c803a4af226c5f19

Answer set solver for constraint logic programs built upon clingo

Details

Download activity

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

Other tags on this version