Skip to content

Dio #7612

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

Jump to bottom
Merged
merged 16 commits into from
Apr 19, 2025
Merged

Dio #7612

merged 16 commits into from
Apr 19, 2025

Conversation

levnach
Copy link
Contributor

@levnach levnach commented Apr 5, 2025 •
edited
Loading

Throttling the Diophantine handler: avoid big numbers, and long terms. Allow Gomory cuts if some terms were avoided.
Diminish the frequency of the handler calls.

levnach and others added 16 commits April 3, 2025 09:47
@levnach
reuse dio branch
f85a513 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
throttle dio for big numbers
d0a7aa3 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
throttle dio
9cf5665 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
add parameter m_dio_calls_period
d4ba75e 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
Update lp_settings.cpp
baadb9b 
white space change
@levnach
Update lp_settings.h - m_dio_calls_period = 4
cc5c98f
@levnach
dio_calls_period=4
3fd7ee9
@levnach
reject more terms with big numbers
df10608 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
typo
0011dee 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
change the name of m_changed_columns to m_changed_f_columns
dd1b2a2 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
always remove the tightened term
019da23 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
make gcd call in dio optional
7ee3415 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
allow gcd when dio ignores some terms
7e88064 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
fix a bug in tracking the changes in dio
97bb449 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
remove testing code in is_big_term_on_no_term
36a0006 
Signed-off-by: Lev Nachmanson <[email protected]>
@levnach
change the default of running dio to true, and running gcd to false, …
699e55a 
…remove branching in dio

Signed-off-by: Lev Nachmanson <[email protected]>
@levnach levnach merged commit ab9f330 into master Apr 19, 2025
13 of 25 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@levnach