1. Formulate the problem as CSP and solve using Python Constraint Solver.

2. Solve the problem using Generate & Test approach with SWI-Prolog.

3. Write and submit a report where you compare approaches 1 and 2.

Problem4: Find an arrangement of distinct numbers (i.e. each number is used once), usually integers, in a square grid, where the numbers in each row, and in each column, and the numbers in the forward and backward main diagonals, all add up to the same number 2 7 615 9 5 115 4 3 8 15 15 15 15 15 15 Problem4: Find an arrangement of distinct numbers (i.e. each number is used once), usually integers, in a square grid, where the numbers in each row, and in each column, and the numbers in the forward and backward main diagonals, all add up to the same number 2 7 615 9 5 115 4 3 8 15 15 15 15 15 15