New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Fix intersection method in VariableUtils #1006

Merged

cprudhom merged 1 commit into chocoteam:master from dimitri-justeau:fix_intersection_variable_utils

Feb 14, 2023

Collaborator

dimitri-justeau commented Feb 10, 2023

Although the method was used anywhere in Choco, it was not implemented correctly.


          Fix intersection method in VariableUtils

e7c9b5b

cprudhom added this to the 4.10.12 milestone

cprudhom approved these changes

View reviewed changes

cprudhom merged commit 513e486 into chocoteam:master

cprudhom added the bug label

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

bug