Skip to content

v0.12.3

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 10 Feb 16:20
v0.12.3
01d87f9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

SCIP v0.12.3

Diff since v0.12.2

Merged pull requests:

Closed issues:

  • A new release is probably warranted - is_valid() is broken in v0.11.14 (#283)
  • SCIP GC does not work in v0.12 (#296)

Contributors

gtjusila
Assets 2
Loading