Public | Automated Build

Last pushed: 2 years ago
Short Description
Runs the interactive shell of the SYMPHONY MILP Solver.
Full Description

This is a Docker image containing an installed version of SYMPHONY. For most purposes, it has been superseded by a similar image that contains the entire COIN-OR Optimization Suite. For most purposes, you should use that image rather than this one.

A preliminary version of this
image was written by Patrick Wieschollek. Thanks,

Install and Use From Docker Hub

This image is now on Docker
. To use,
simply install Docker (see instructions below) and then do

docker pull tkralphs/symphony

This retrieves a docker image containing SYMPHONY. Once
yu have the image, you can create a container, which is a running version of
the image. Note that this container is completely isolated from the OS you are
working in, so to run any useful commands inside it, you need to first copy
the files in to the container, then copy the results back out. To do this,
first create and start a container, as follows:

docker create --name=sym -it tkralphs/symphony
docker start sym

Now copy in any files you need:

docker cp example.mps sym:/tmp

Here, we are copying into the /tmp directory inside the container. Finally,
execute a solver command.

docker /var/symphony/bin/symphony -F /tmp/example.mps > /tmp/output

and finally, copy the output back out

docker cp sym:/tmp/output .

Note that you are as root by default inside the container, but this is not
much of a risk inside a docker container, since it can be recreated easily.

Build from Source


Just clone the repository and build the docker image by

git clone
cd symphony
sudo docker build -t symphony image/

Now follow the instructions for running SYMPHONY from above, but note that all
commands will have to be executed with sudo.


First install Docker for Windows. Depending on whether you are using a recent
version of Windows, you may need to enable virtualization in the BIOS
settings. For details, see

As of this writing, it's important that you let Docker install Git for Windows
(do not uncheck the box for installing git in the installer, even though it
indicates that it is optional). After installing, run the "Docker Quickstart
Terminal" application. Make a note of the IP address assigned to the docker
machine (something like

From the terminal clone the repository and build the docker image by the

git clone
cd symphony
docker build -t symphony image/

Finally, follow the instructions for running a solver from above.


Since Docker is a bit more difficult to get running on OSX than on Linux, this
is some additional documentation for the OSX crowd. OSX is not like
Linux---virtualization is not built into the kernel. Therefore, we need to run
the docker machine inside another VM. For this, we need virtualbox. The
instructions below are for installing virutalbox with homebrew, which seems
to work very well. (Caveat: I first found some old instructions on how to do
this and took a round-about path to the installation. Therefore, the list of
commands below is not exactly what I did. However, I think it's the right
incantation if you're starting from scratch with an updated install of

Update: There now seems to be a trouble-free installation of Docker on OS X as
a native app. I haven't tried this, but I guess it should work well and might
be preferable is you are not already using homebrew.

First, install virtualbox

brew update
brew tap caskroom/cask
brew cask install virtualbox

Now install docker and docker-machine

brew install docker
brew install docker-machine

Create a new docker server to run in virtualbox and set environment variables
so docker knows how to connect to it.

docker-machine create --driver virtualbox default
eval "$(docker-machine env default)"

Now follow instructions as above for building the container

git clone
cd symphony/
docker build -t symphony image/

Finally, start up the server and the container

docker-machine start default

Now follow the instructions for running a solver from above.

Docker Pull Command
Source Repository