Skip to content

Flow cover cuts #2496

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
Opt-Mucca wants to merge 44 commits into from
Closed

Flow cover cuts #2496

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
44 commits
Select commit Hold shift + click to select a range
5691e56
Add half-way-draft of flow-cover-cuts
Opt-Mucca Jul 23, 2025
677c731
Add complete cutgen. Definitely buggy
Opt-Mucca Jul 23, 2025
ad07c98
Further draft of flow cover cuts
Opt-Mucca Jul 25, 2025
bc44a0c
Merge branch 'latest' into flow-cover-cuts
Opt-Mucca Jul 25, 2025
1f3de3a
Add comments. Still need to replace slack
Opt-Mucca Jul 25, 2025
b97863e
First flow cover draft
Opt-Mucca Jul 29, 2025
76b30a4
Unify comment notation. Add tryGenFlowCut
Opt-Mucca Jul 29, 2025
b49d5b5
Correct efficacy calculation
Opt-Mucca Jul 29, 2025
41c8be5
Update to correct efficacy calc
Opt-Mucca Jul 31, 2025
32536dd
Merge branch 'latest' into flow-cover-cuts
Opt-Mucca Aug 4, 2025
74a4c23
Fix bug where local domain change not repr
Opt-Mucca Aug 5, 2025
76a3407
Add more fixes
Opt-Mucca Aug 6, 2025
7327b68
Change when vbcoef is used
Opt-Mucca Aug 7, 2025
d737abd
Add missing vlb / vub check
Opt-Mucca Aug 7, 2025
f8e1982
Add genflowcover param
Opt-Mucca Aug 8, 2025
45df9ca
Allow vbcol to be used mult. times
Opt-Mucca Aug 8, 2025
74aff96
Change when minefficacy used
Opt-Mucca Aug 8, 2025
dd658b5
Correct efficacy calc
Opt-Mucca Aug 11, 2025
c782d75
Correct efficacy again
Opt-Mucca Aug 11, 2025
6188114
Add additional documentation
Opt-Mucca Aug 11, 2025
db6c8ce
Turn off fc for tableau. Add cover > cmir > fc
Opt-Mucca Aug 13, 2025
8a85830
Update comments. Remove unneeded import
Opt-Mucca Aug 13, 2025
3856a5d
Revert cmir change. Fix min eff calc
Opt-Mucca Aug 13, 2025
4d45a72
Correct mineff for conflicts
Opt-Mucca Aug 13, 2025
97c5757
Make formatter happy
Opt-Mucca Aug 13, 2025
376ad64
Merge branch 'latest' into flow-cover-cuts
Opt-Mucca Aug 13, 2025
61d5de2
Fix valgrind
Opt-Mucca Aug 13, 2025
abb145b
Assume integral support / coeffs are false for flow cover
Opt-Mucca Aug 13, 2025
00d6c59
Return min-eff-diff to 10 * feastol
Opt-Mucca Aug 15, 2025
84573f8
Priortise vbs more. Fix some comments
Opt-Mucca Aug 20, 2025
ee6b8cd
Allow vlb / vub to be complemented
Opt-Mucca Aug 22, 2025
e64f692
Fix some cases on incorrect compl.
Opt-Mucca Aug 22, 2025
a5dc18a
Fix error with complementation
Opt-Mucca Aug 22, 2025
3888612
Fix vb validity check
Opt-Mucca Aug 22, 2025
6f4ee6b
Fix error in aggrconstant
Opt-Mucca Aug 23, 2025
ec6d597
Change back way validity of cb was checked
Opt-Mucca Aug 25, 2025
e2069d7
Remove unused contsolval
Opt-Mucca Aug 25, 2025
1b97c0c
Minor performance improvements. More comments
Opt-Mucca Aug 26, 2025
ee761dd
More minor code improvements
Opt-Mucca Aug 26, 2025
3102326
Only run when vb has been used
Opt-Mucca Aug 26, 2025
44f3fae
Remove unusedvb flag. Try fcc for tableau
Opt-Mucca Aug 26, 2025
69f9016
Skip scaling if already scaled. Add comments
Opt-Mucca Aug 27, 2025
abfd94b
Formatting
Opt-Mucca Aug 27, 2025
99a0d65
Reenable scaling at all times
Opt-Mucca Aug 27, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading