Computation: Python, SAT, MTZ (with NN)

• Imports
  
• Input
  
• Model
  
• Decision variables
  
• Auxiliary variables: Time of visitations
  
• Hint: Nearest neighbor heuristic
  
• Constraints: Arrivals
  
• Constraints: Departures
  
• Constraints: Sub-tour elimination (MTZ)
  
• Constraints: Rotational symmetry
  
• Objective function
  
• Solution