sudoku-ampl

Tired of solving sudoku puzzles by boring old recursion? Want to titillate your grey matter? Try this!

Getting started

We are going to try solving the world's toughest (allegedly) sudoku puzzle, and compare two approaches.

1. Install AMPL and the solver of your choice - CPLEX, Cbc, etc.
2. Solve hardest.dat with the provided AMPL model main.mod
3. Solve sudoku.py with python sudoku.py
4. Compare execution time of both approaches
5. Revel in the power of mathematical modelling as opposed to boring old Python

Notes

• Made originally during 40.302 Adv. Topics in Optimisation (Jan 2017)
• Special thanks to Prof. Ahipasaoglu