Bounding a parameter and a variable #364
-
|
Hello, |
Beta Was this translation helpful? Give feedback.
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 |
Beta Was this translation helpful? Give feedback.
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.