Skip to content

set_cover: update from google3#5222

Merged
Mizux merged 3 commits into
mainfrom
mizux/dev
Jun 11, 2026
Merged

set_cover: update from google3#5222
Mizux merged 3 commits into
mainfrom
mizux/dev

Conversation

@Mizux

@Mizux Mizux commented Jun 11, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@Mizux Mizux added this to the v10.0 Beta milestone Jun 11, 2026
@Mizux Mizux added the Solver: Set Cover Solver in set_cover/ label Jun 11, 2026
@Mizux Mizux merged commit 2190068 into main Jun 11, 2026
11 of 12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Solver: Set Cover Solver in set_cover/

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant