A docker image is available at https://hub.docker.com/r/verificarlo/verificarlo/. This image uses the latest release version of Verificarlo and includes support for ...

Non-Docker local environment setup (build and run directly on your host machine). Docker-based environment setup (recommended for reproducibility). You can choose ...