Support AK conflicts
View options
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.
Link items together to show that they're related or that one is blocking others.