Constraints transitivity inconsistencies in BinaryConstraintsManager.add_constraint

[erwanschild]

Describe the bug
It is possible to add inconsistencies in the constraints manager.
To do it, add a new constraint (not already explicitly added) that is inconsistent with the constraints transitivity inference.

To Reproduce

from cognitivefactory.interactive_clustering.constraints.factory import managing_factory
from cognitivefactory.interactive_clustering.sampling.factory import sampling_factory

# Initialize constraints manager.
constraints_manager = managing_factory(["0", "1", "2"])

# Add "MUST_LINK" constraints between "0" and "1" and between "1" and "2".
constraints_manager.add_constraint("0", "1", "MUST_LINK")
constraints_manager.add_constraint("1", "2", "MUST_LINK")
# By transitivity: There is a "MUST_LINK" constraint between "0" and "2".

# Add a inconsistent constraint with a "CANNOT_LINK" constraint between "0" and "2".
constraints_manager.add_constraint("0", "2", "CANNOT_LINK")  # Should be False.

# Print the transitivity inference.
print(constraints_manager._constraints_transitivity)
"""
{
    '0': {'MUST_LINK': {'0': None, '1': None, '2': None}, 'CANNOT_LINK': {'0': None, '1': None, '2': None}},
    '1': {'MUST_LINK': {'0': None, '1': None, '2': None}, 'CANNOT_LINK': {'0': None, '1': None, '2': None}},
    '2': {'MUST_LINK': {'0': None, '1': None, '2': None}, 'CANNOT_LINK': {'0': None, '1': None, '2': None}}
}  # INCONSISTENT !
"""

Expected behavior

• The line constraints_manager.add_constraint("0", "2", "CANNOT_LINK") should return False (it's an inference conflict) ;
• The line print(constraints_manager._constraints_transitivity) should display :

"""
{
    '0': {'MUST_LINK': {'0': None, '1': None, '2': None}, 'CANNOT_LINK': {}},
    '1': {'MUST_LINK': {'0': None, '1': None, '2': None}, 'CANNOT_LINK': {}},
    '2': {'MUST_LINK': {'0': None, '1': None, '2': None}, 'CANNOT_LINK': {}}
}
"""

System (please complete the following information):

• Interactive Clustering version: 0.2.1
• Python version: 3.8
• OS: Windows

[erwanschild]

Fixed in 0.2.1.