v0.11.6
github-actions
released this
04 Oct 12:41
·
105 commits
to master
since this release
SCIP v0.11.6
Closed issues:
- SCIP not working on Windows (#243)
Merged pull requests:
- added cut selector plugin (#245) (@matbesancon)