You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, the projection in Cartesian product evaluates the variable in Bound_rat, even if all the sub-domains are defined over integers. Similarly to Propagators_completion, we should parametrized the Cartesian product by an evaluation vardom. Even better would be to infer automatically the right vardom in which evaluate the variable.
The text was updated successfully, but these errors were encountered:
Currently, the projection in Cartesian product evaluates the variable in
Bound_rat
, even if all the sub-domains are defined over integers. Similarly toPropagators_completion
, we should parametrized the Cartesian product by an evaluationvardom
. Even better would be to infer automatically the right vardom in which evaluate the variable.The text was updated successfully, but these errors were encountered: