Computation: Python, SAT, MTZ

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