Text this: TSP solution using an exact model based on the branch flow formulation and automatic cases generation via the Julia software