mitm-docker-images

Docker Images for the MitM use case:

MMT
GAP
Sage
Singular

To run everything, use Docker-Compose:

    # to build all the images
    docker-compose build

    # to run them (use -d if you want it in the background)
    docker-compose up

This will expose the following services:

GAP on port 26133
MMT on port 26134
Singular on port 26135
Sage on port 26136