# Maple SAT Applications

The following Maple applications were written by me while working on SAT solving for Maplesoft.
The reductions to SAT used in these worksheets are discussed in the paper Effective problem solving using SAT solvers.

The `n`-Queens Problem

Solving the World's Hardest Sudoku

Solving the Einstein Riddle

Finding Graeco-Latin Squares

Clique Finding with SAT

Interactive Sudoku

Solving the 15-puzzle

Graph Colouring with SAT