Public Repository

Last pushed: a month ago
Short Description
MiniZinc is a medium-level constraint modelling language.
Full Description

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
Docker Pull Command
Owner
inzinger

Comments (0)