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.

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

IntegerToZeroOne bridge #2202

Closed
odow opened this issue Jun 11, 2023 · 1 comment · Fixed by #2205
Closed

IntegerToZeroOne bridge #2202

odow opened this issue Jun 11, 2023 · 1 comment · Fixed by #2205
Labels
Submodule: Bridges About the Bridges submodule

Comments

@odow
Copy link
Member

odow commented Jun 11, 2023

Alpine doesn't support general integer variables: lanl-ansi/Alpine.jl#233.

We could bridge to ZeroOne with a final_touch that checks for finite variable bounds.
@odow odow added the Submodule: Bridges About the Bridges submodule label Jun 11, 2023
@blegat
Copy link
Member

blegat commented Jun 12, 2023 •
edited
Loading

Looks like what @juan-pablo-vielma is doing in Google's MathOpt where they even reformulated Reals variables into binary so that they can use Google's SAT solver. It was presented at SIAMOPT: https://meetings.siam.org/sess/dsp_talk.cfm?p=128561

@odow odow mentioned this issue Jun 12, 2023
Merged
14 tasks
@odow odow closed this as completed in #2205 Jul 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Submodule: Bridges About the Bridges submodule
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[Bridges] add IntegerToZeroOneBridge jump-dev/MathOptInterface.jl
2 participants
@blegat @odow