inzinger/minizinc
MiniZinc is a medium-level constraint modelling language.
Image
1
50K+
inzinger/minizinc repository overview
Images are automatically built for all MiniZinc releases.
See https://github.com/inz/docker-minizinc/ for the build script.
Usage
Run a MiniZinc model:
docker run --rm -it -v $(pwd):/home -w /home inzinger/minizinc:2.0.13 minizinc \
path/to/model.mzn path/to/data.dzn
Tag summary
Content type
Image
Digest
Size
17.8 MB
Last updated
about 6 years ago
docker pull inzinger/minizinc