aehyvari/cvt-base

•Updated over 3 years ago

Image

303

Tags for aehyvari/cvt-base

Sort by

TAG

Last pushed over 3 years by aehyvari

docker pull aehyvari/cvt-base:38

Digest	OS/ARCH	Compressed size
f73290b1b5c5	linux/amd64	552.06 MB

TAG

Last pushed over 3 years by aehyvari

docker pull aehyvari/cvt-base:37

Digest	OS/ARCH	Compressed size
f4fbb57d302b	linux/amd64	735.86 MB

TAG

Last pushed over 3 years by aehyvari

docker pull aehyvari/cvt-base:z3-4.12.1-cvc4-1.8-cvc5-1.0.5-yices-2.6.4-bitwuzla-0.1-202011-smtinterpol-2.5-1256-g55d6ba76

Digest	OS/ARCH	Compressed size
309e414e991d	linux/amd64	723.13 MB

TAG

Last pushed over 3 years by aehyvari

docker pull aehyvari/cvt-base:z3-4.12.1-cvc4-1.8-cvc5-1.0.5-yices-2.6.4-bitwuzla-0.1-202011

Digest	OS/ARCH	Compressed size
309e414e991d	linux/amd64	723.13 MB