Skip to content
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

[BUG] Difference in feasibility of constraints when changing optimization objective #254

Open
iincer opened this issue Mar 13, 2023 · 0 comments

Comments

@iincer
Copy link
Collaborator

iincer commented Mar 13, 2023

Describe the bug
Pacti sometimes says constraints are unfeasible when they are not.

To Reproduce
This notebook prepared by @NicolasRouquette shows the situation in which we optimize different variables of the same contract. Pacti sometimes says that the constraints are unfeasible.

Expected behavior
Changing the optimization objective does not change the feasibility of a problem.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant