Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

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.

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

it is not possible to get current objective bounds between solutions #4201

Closed
gregy4 opened this issue Apr 26, 2024 · 0 comments
Closed

it is not possible to get current objective bounds between solutions #4201

gregy4 opened this issue Apr 26, 2024 · 0 comments
Assignees
Labels
Solver: CP-SAT Solver Relates to the CP-SAT solver
Milestone

Comments

@gregy4
Copy link

gregy4 commented Apr 26, 2024

What language and solver does this apply to?
Python, Java / CP-SAT

Describe the problem you are trying to solve.
It is not possible to get current objective bounds between solutions. It is only shown in a log.

Describe the solution you'd like
New method in solution callback. Executed when new bound of objective function is found.
or
Update value of best objective bound so it can be read externally. So far it seems it is updated only when a solution is found.

Add relative gap in a log for #bound event, especially for large domains it can be more helpful then numbers:
#4 0.07s best:3.837456e+10 next:[2.18861401e+10,3.83745599e+10] graph_var_lns (d=0.50 s=39 t=0.10 p=0.00 stall=0 h=auto_l0) [hint]

Describe alternatives you've considered
I tried to use external timer but best objective bound isn't updated between solutions.

@Mizux Mizux added the Solver: CP-SAT Solver Relates to the CP-SAT solver label Apr 26, 2024
@Mizux Mizux added this to the v10.0 milestone Apr 26, 2024
@google google locked and limited conversation to collaborators Apr 26, 2024
@lperron lperron converted this issue into discussion #4202 Apr 26, 2024
@lperron lperron reopened this Apr 26, 2024
@lperron lperron closed this as completed Apr 26, 2024
@Mizux Mizux modified the milestones: v10.0, v9.12 Oct 22, 2024

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Labels
Solver: CP-SAT Solver Relates to the CP-SAT solver
Projects
None yet
Development

No branches or pull requests

3 participants