Modeling Haunted Mirror Maze puzzle
Modeling and solving Haunted Mirror Maze puzzle using mixed-integer linear programming.
Modeling and solving Haunted Mirror Maze puzzle using mixed-integer linear programming.
Modeling and solving Skyscraper puzzle using mixed-integer linear programming.
Modeling and solving the A puzzle a day puzzle using mixed-integer linear programming.

Modeling and solving the Slitherlink puzzle using mixed-integer linear programming.

Modeling and solving Binox puzzle using mixed-integer linear programming.

Modeling and solving Troix puzzle using mixed-integer linear programming.

Modeling and solving Galaxies puzzle using mixed-integer linear programming.

Modeling and solving Star Battle puzzle using mixed-integer linear programming.

Modeling and solving Sudoku puzzle using mixed-integer linear programming.