Bounding a parameter and a variable #364
Answered
by
alphaville
GabrielWellander
asked this question in
Q&A
|
Hello, |
Answered by
alphaville
Mar 11, 2026
Replies: 1 comment
|
Sorry for the late reply. Can you give an example of what you have in mind? If you want to impose a constraint of the form |
0 replies
Answer selected by
alphaville
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Sorry for the late reply. Can you give an example of what you have in mind? If you want to impose a constraint of the form$p \in P$ , this can be done outside the solver since $p$ is not a decision variable. Constraints of the form $F_1(u, p) \in C$ and $F_2(u, p) = 0$ are supported. Constraints of the form $u \in U(p)$ are currently not supported, but it would be a good idea to support them somehow. This can be easily done in Rust, but through the code generator it will be more tricky.