apluslms/grading-z3:4.6.0-2.0

Languages & frameworks

Machine learning & AI

Data science

Manifest digest

sha256:1a0b61b5d4e5cefe38d011b28e09904bb23c42ed90b7b758dfea48c386ea9259

OS/ARCH

linux/amd64

Compressed size

127.43 MB

Last pushed

over 8 years by apluslms

Type

Image

Manifest digest

sha256:1a0b61b5d4e5cefe38d011b28e09904bb23c42ed90b7b758dfea48c386ea9259

Image Layers

1ADD file ... in / 21.45 MB

2CMD ["bash"]0 B

3ENV LANG=C.UTF-80 B

4/bin/sh -c apt-get update -qqy40.89 MB

5ADD dir:5a8f1bf39d7ac7bd40ba015cb415fb64a315014d193b377c9cff7c86880a6353 in /usr/local/bin 3.01 KB

6/bin/sh -c mkdir -p /feedback97 B

7WORKDIR /submission99 B

8/bin/sh -c apt-get update -qqy45.39 MB

9/bin/sh -c apt-get update -qqy743 KB

10ARG VERSION=4.6.00 B

11ARG FILE=z3-4.6.0-x64-debian-8.100 B

12|2 FILE=z3-4.6.0-x64-debian-8.10 VERSION=4.6.0 /bin/sh -c18.98 MB

Command

ADD file:e3250bb9848f956bdb43b205f1237df0d81a25088c95dbdeb20a1e2baf1d884f in /