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

Constraints as Bounded Expressions #113

Open

mmghannam opened this issue Oct 16, 2023 · 1 comment

Assignees

Member

mmghannam commented Oct 16, 2023

Build "Expressions" from variables that allow arithmetic operations, and add a range to bound them.

mmghannam self-assigned this

Member

matbesancon commented Oct 16, 2023

this will be interesting to perform in Rust. The three ways I see it are:

Macros that you parse to create a SCIP expression
Operator overloading on variables to build up expressions
String substitution, since you can pass SCIP a string containing the expression, the only work on the wrapper side is then to replace the expression of the variable accepted by russcip with that accepted by SCIP

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment