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