Maple SAT Applications

The following Maple applications were written by me while working on SAT solving for Maplesoft.

Solution of the 8-Queens problem The n-Queens Problem

Sudoku puzzle Solving the World's Hardest Sudoku

Einstein with the text 'Who owns the fish?' Solving the Einstein Riddle

Graeco-Latin square of order 10 Finding Graeco-Latin Squares

Highlighted clique of size 4 in a graph with 20 vertices Clique Finding with SAT

Completed Sudoku puzzle Interactive Sudoku

15-puzzle instance Solving the 15-puzzle