Solve with home-grown SAT solver

• Decision variables
  
• Constraints: Population
  
• Constraints: Orthogonal threats
  
• Constraints: Diagonal threats
  
• Solver
  
• Solution formatter
  
• Solutions