Sign inSign up

apluslms/grading-z3

Sponsored OSS

By Aalto University Dept. of Computer Science, EdTech team

•Updated 10 months ago

Grading environment with specific Z3 version in path and python path.

Image
Languages & frameworks
Machine learning & AI
Data science
0

4.0K

Tags for apluslms/grading-z3

Sort by

TAG

latest

Last pushed 10 months by apluslms

docker pull apluslms/grading-z3:latest
DigestOS/ARCHCompressed size

279873166c55

linux/amd64

127.11 MB

TAG

4.15.3.0-4.10

Last pushed 10 months by fissio

docker pull apluslms/grading-z3:4.15.3.0-4.10
DigestOS/ARCHCompressed size

56e2c4b1fc2d

linux/amd64

127.11 MB

TAG

4.13.3.0-4.10

Last pushed 10 months by fissio

docker pull apluslms/grading-z3:4.13.3.0-4.10
DigestOS/ARCHCompressed size

56e2c4b1fc2d

linux/amd64

127.11 MB

TAG

bookworm-4.12.1-4.6

Last pushed over 3 years by apluslms

docker pull apluslms/grading-z3:bookworm-4.12.1-4.6
DigestOS/ARCHCompressed size

dd52e9d6d4f2

linux/amd64

210.77 MB

TAG

4.12.1-4.6

Last pushed over 3 years by apluslms

docker pull apluslms/grading-z3:4.12.1-4.6
DigestOS/ARCHCompressed size

9e90613be66d

linux/amd64

130.96 MB

TAG

4.11.2-4.5

Last pushed over 3 years by apluslms

docker pull apluslms/grading-z3:4.11.2-4.5
DigestOS/ARCHCompressed size

c57725a8efd7

linux/amd64

128.79 MB

TAG

4.8.12-3.4

Last pushed almost 5 years by apluslms

docker pull apluslms/grading-z3:4.8.12-3.4
DigestOS/ARCHCompressed size

cfc7bc46305a

linux/amd64

105.03 MB

TAG

4.8.8-3.0

Last pushed almost 6 years by apluslms

docker pull apluslms/grading-z3:4.8.8-3.0
DigestOS/ARCHCompressed size

eb9e12c65c9c

linux/amd64

148.41 MB

TAG

4.8.5-3.0

Last pushed almost 7 years by apluslms

docker pull apluslms/grading-z3:4.8.5-3.0
DigestOS/ARCHCompressed size

5aca651b4bc0

linux/amd64

146.11 MB

TAG

4.6.0-2.0

Last pushed over 8 years by apluslms

docker pull apluslms/grading-z3:4.6.0-2.0
DigestOS/ARCHCompressed size

1a0b61b5d4e5

linux/amd64

127.43 MB