Skip to content

v0.1.31

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 13 Nov 15:47
· 1 commit to main since this release
v0.1.31
6466e4f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Boscia v0.1.31

Diff since v0.1.30

Merged pull requests:

  • Fix in the lowerbound tightening (#204) (@dhendryc)
  • CompatHelper: bump compat for SCIP in [weakdeps] to 0.12, (keep existing compat) (#205) (@github-actions[bot])
  • Branching with non-trivial domain oracle (#207) (@dhendryc)

Contributors

dhendryc
Assets 2
Loading