GitHub repository: tjunttila/grading-z3
Primary language: Dockerfile
Description: Grading environment with specific Z3 version in path and python path.