Skip to content

Latest commit

 

History

History
10 lines (8 loc) · 567 Bytes

README.md

File metadata and controls

10 lines (8 loc) · 567 Bytes

Grading environment based on grading-base with specific version of Z3 Theorem prover.

Tags

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.