minizinc/clingcon
Answer set solver for constraint logic programs built upon clingo
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
Recent tagged image versions
- 42 Version downloads151 Version downloads153 Version downloads
Loading
Sorry, something went wrong.
Details
Last published6 months ago
Issues2
Total downloads346