apluslms/grading-z3
Grading environment with specific Z3 version in path and python path.
Latest release: 4 months ago - 1,762 downloads - 166 dependencies
More details on packages.ecosyste.ms - JSON
Versions
bookworm-4.12.1-4.6
Debian GNU/Linux 11 (bullseye)
Published: about 3 years ago Last synced: about 2 years ago