A docker container with libsemigroups system installed running ubuntu:bionic
3.3K
This repository contains the source for the libsemigroups Docker container.
If you have Docker installed, you can download this container using:
docker pull libsemigroups/libsemigroups-docker
and run it by doing
docker run --rm -it libsemigroups/libsemigroups-docker
If you want to use a specific version of libsemigroups, then use:
docker pull libsemigroups/libsemigroups-docker:version-1.2.1
docker run --rm -it libsemigroups/libsemigroups-docker:version-1.2.1
or, for the latest version, use:
docker pull libsemigroups/libsemigroups-docker:latest
docker run --rm -it libsemigroups/libsemigroups-docker:latest
Content type
Image
Digest
sha256:2365d7374…
Size
173.4 MB
Last updated
almost 4 years ago
docker pull libsemigroups/libsemigroups-docker