Grading environment based on grading-base with specific version of Z3 Theorem prover.
Images are tagged with Z3 and grading-base versions in format <z3>-<grading-base>.
Version tag can also include uN meaning update N where N is an increasing number.
The update part is used to indicate updates to the image, where software versions did not change.
For an example, 4.6.0-2.0u1 includes Z3 4.6.0 on top of grading-base 2.0 and has one update after first release.