OKlibrary  0.2.1.6
Sudoku.mac File Reference

Generations of Sudoku-problems (also generalised, and also as generalised SAT-problems) More...

Go to the source code of this file.


Detailed Description

Generations of Sudoku-problems (also generalised, and also as generalised SAT-problems)

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/Generators/Sudoku.mac");

See CombinatorialMatrices/Lisp/LatinSquares/BasicNotions.mac for notions and tests regarding latin squares.

Definition in file Sudoku.mac.