Description: Simple sudoku model with two formulations: as a Constraint Programming problem using the
alldiff operator and as a MIP. Note that the CP formulation is more natural but it needs a solver supporting logical constraints or a MIP solver with automatic reformulation support (see [here](
https://amplmp.readthedocs.io/) for more information).