CP-style scheduling model with the numberof operator, solved by a MIP solver¶
Description: Scheduling model with the Constraint Programming numberof operator, solved with a MIP solver. New MIP solver drivers based on the [MP library](https://amplmp.readthedocs.io/) enable CP-style modeling.
Simple sudoku solver using logical constraints (with GUI)¶
Description: Simple sudoku solver using the alldiff operator; needs a solver supporting constraints programming or a MIP solver with automatic reformulation support (see [here](https://amplmp.readthedocs.io/) for more information). A little GUI implemented using ipywidgets helps with data visualization and specification.