Useless/invalid constraints
unimog_to_ilp.py generates a set of useless constraints (related to the set "C.03: x_e = x_d for sibling edges e and d"). For instance, using the example1 provided, it generates:
x_(1_A_t,22_B_t) - x_(1_A_t,22_B_t) = 0
<-- useless
and
x_(43_A_$,47_B_$) - x_(43_A_t,47_B_t) = 0
<-- shouldn't even exist
It seems that can be fixed by changing line 364 to:
if e.is_cross_genome() and e.vertex1.extremity == EXTREMITY_HEAD:
(see https://gitlab.ub.uni-bielefeld.de/gi/ding/-/blob/master/unimog_to_ilp.py#L364)