Overview: For this problem set, you will need to download/install the ORTools package from Google OR refers to Operations Research, an area of study where many of these constraint satisfaction prob- lems arise. Classic problems in OR include industrial problems like scheduling jobs on different types of factory machines or the optimal way to cut specific pieces from steel slabs to minimize waste. The eas- iest way to install for most students will be to install the Python libraries using pip as outlined here: https://developers.google.com/optimization/install. There are also versions of the library for C++ or Java if you prefer. 1. Cryptarithmetic Puzzles One popular type of AI puzzle is the Cryptarithmetic Puzzle. These puzzles consist of a mathematical equations among unknown numbers whose digits are represented by letters. To solve the puzzle, one must find a corresponding digit for each letter that makes the given equation valid. You can view an ex ample, and sample solution using ORTools, here: https://developers.google.com/optimization/cp/cryptarithmetic. For this question, write a program using ORTools CP-SAT solver to solve the following Cryptarith- metic Puzzle first published by Henry Dudeney in the July 1924 issue of Strand Magazine S END М Е О N E М Y = OZ Show transcribed image text Overview: For this problem set, you will need to download/install the ORTools package from Google OR refers to Operations Research, an area of study where many of these constraint satisfaction prob- lems arise. Classic problems in OR include industrial problems like scheduling jobs on different types of factory machines or the optimal way to cut specific pieces from steel slabs to minimize waste. The eas- iest way to install for most students will be to install the Python libraries using pip as outlined here: https://developers.google.com/optimization/install. There are also versions of the library for C++ or Java if you prefer. 1. Cryptarithmetic Puzzles One popular type of AI puzzle is the Cryptarithmetic Puzzle. These puzzles consist of a mathematical equations among unknown numbers whose digits are represented by letters. To solve the puzzle, one must find a corresponding digit for each letter that makes the given equation valid. You can view an ex ample, and sample solution using ORTools, here: https://developers.google.com/optimization/cp/cryptarithmetic. For this question, write a program using ORTools CP-SAT solver to solve the following Cryptarith- metic Puzzle first published by Henry Dudeney in the July 1924 issue of Strand Magazine S END М Е О N E М Y = OZ

## Expert Answer

Answer to Overview: For this problem set, you will need to download/install the ORTools package from Google OR refers to Operation…