Implies constraint

[Dimosts]

Currently in the Python API there is no constraint for implying. We have reification, but the ifThen etc constraints described in https://choco-solver.org/docs/modeling/constraints/ are not included.

Currently, to implement it in, I reify the lhs and rhs expressions and create an arithm constraint .arithm(lhs, "<=", rhs). However, this is not efficient, as it already has 2 reifications.

I think this and the time limit would be the 2 things that we would like more to be included, followed by the solution hinting maybe later.

We already have a working version, and we can update it when they are added.

Thank you a lot.

[Dimosts]

Also, the reifyWith() would be helpful, as with the reify, I don't think we can cast the reification to an existing variable given by the user.