MILP benchmark for UE RRC handover optimization. Provides a fully linearized (pure MILP) formulation of handover state machines (N310/N311/T310/RLF), enabling reproducible optimization and benchmarking against simulation traces. - View it on GitHub