Too restrictive CSP modelling for isomorphism leads to False-negatives

[alex-87]

Issue description

Isomorphism CSP modelling is too restrictive as it corresponds to strict equality.

Consequences

• False-negatives
• Search space of O( (mn)! ) rather than O( m! n! )

Fix hypothesis

• Two mappings (Hyper-Edge and Hyper-Vertex)
• Continue to rely on matrix to preserve links structure
• Focusing on Hyper-Vertex Degree and Hyper-Edges size properties to elagate respective mappings domains