Computation: Python, SAT + NN, permutation

• Imports
  
• Input
  
• Model
  
• Decision variables
  
• Auxiliary variables: Subscripts
  
• Auxiliary variables: Terms
  
• Hint
  
• Constraints: Permutation
  
• Constraints: Rotational symmetry
  
• Objective
  
• Solution