Sign inSign up

aehyvari/verify-env

By aehyvari

•Updated about 4 years ago

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

Image
0

77

aehyvari/verify-env repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

sha256:6c1cc9b1d…

Size

1 GB

Last updated

about 4 years ago

docker pull aehyvari/verify-env:current