Support AK conflicts

The KIF tool allows to model conflicts between an AK

$A$

and a set of AKs

$S \coloneqq \{B_1, \dots, B_N\}$

, s.t. no AK in

$S$

is scheduled overlapping to

$A$

.

To capture all features of the KIF tool, we probably need to implement this feature into the LP formulation.

added feature label

added optimizer label

This is easy to implement: For all time slots

$t$

and

$B\in S$

we add

$F_{A,t}+F_{B,t}\le 1$

.

Adding this information to the json format also looks feasible. So we can do this to avoid removing features form this tool, but I do not believe this to be a much used feature for the KoMa.

mentioned in issue #5 (closed)

mentioned in merge request !10 (merged)

As !9 (merged) is merged, this issue is resolved for this tool. Discussion on the solver side should be held in the respective repository.

closed