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.