a Docker image for https://github.com/smtrat/carl
Primary LanguageDockerfile
This repository is not active