Skip to content

1.4.0

Latest
Latest

Choose a tag to compare

View all tags
@hedtke hedtke released this 18 Dec 14:34
1.4.0
25581e8
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Update to SCIP 10.0.0 in #38
  • More const-correctness in #40
  • Add basic support for IISs in #41

full changelog

Assets 2
Loading