Last released Aug 8, 2012
Latin squares and related designs.
Last released Jul 1, 2020
Solve Sudoku with Python.
Last released Jun 30, 2020
Generate PSSSODLS in Minion 3 format.
Last released Aug 22, 2012
List-colouring of graphs
Last released Jan 9, 2011
Whole Architecture Verification
Supported by