Out of interval constraint
77 views
Skip to first unread message
Henri Morlaye
Oct 1, 2015, 5:00:53 PM10/1/15
to overconstrained
Hi,
Is it possible to declare that a variable should be out of a given interval (less than its lower bound OR more than its upper bound) ?
Thanks
Ken Ferry
Oct 2, 2015, 2:46:22 PM10/2/15
to overcon...@googlegroups.com
On Oct 1, 2015, at 2:00 PM, Henri Morlaye <henri....@gmail.com> wrote:
Hi,Is it possible to declare that a variable should be out of a given interval (less than its lower bound OR more than its upper bound) ?
Alas, that’s not something you can express.
-ken
Thanks--
You received this message because you are subscribed to the Google Groups "overconstrained" group.
To unsubscribe from this group and stop receiving emails from it, send an email to overconstrain...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Henri Morlaye
Oct 3, 2015, 3:23:25 AM10/3/15
to overconstrained
Alas, that’s not something you can express.
Thank you.
Do you know if it's a matter of implementation or if there is some mathematical proof about this being not possible for this kind of solver ?
Ken Ferry
Oct 3, 2015, 3:24:31 AM10/3/15
to overcon...@googlegroups.com, overconstrained
It's not possible with this kind of solver.
Alas, that’s not something you can express.Thank you.Do you know if it's a matter of implementation or if there is some mathematical proof about this being not possible for this kind of solver ?
--
Henri Morlaye
Oct 3, 2015, 3:34:48 AM10/3/15
to overconstrained
It's not possible with this kind of solver.
Thanks. I guess I need to start learning more about the math behind before starting my project. Do you know about other kind of solvers without such limits ?
Henri Morlaye
Oct 3, 2015, 9:15:31 AM10/3/15
to overconstrained
For the record: I found this interesting paper on this subject:
Hierarchical Nonlinear Constraint Satisfaction
Hierarchical Nonlinear Constraint Satisfaction
Reply all
Reply to author
Forward
0 new messages