Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / apluslms/grading-z3 issues and pull requests
#4 - Update Z3 to 4.8.12, use pip to install it, and update grade-python t…
Pull Request -
State: closed - Opened by tjunttila about 3 years ago
#3 - Change Z3 version to 4.8.8
Pull Request -
State: closed - Opened by tjunttila about 4 years ago
#2 - 4.8.5 2.9
Pull Request -
State: closed - Opened by tjunttila about 5 years ago
- 1 comment
#1 - Update grading-base and Z3 versions
Pull Request -
State: closed - Opened by tjunttila about 5 years ago