aehyvari/verify-env

•Updated about 4 years ago

The environment for compiling verify.inf.usi.ch tools such as opensmt in a current environment

Image

Tags for aehyvari/verify-env

Sort by

TAG

current

Last pushed about 4 years by aehyvari

docker pull aehyvari/verify-env:current

Digest	OS/ARCH	Compressed size
6c1cc9b1da7c	linux/amd64	1.03 GB